A thesis for bounded concurrency

This publication has 15 references indexed in Scilit:

• On the power of cooperative concurrency
  Published by Springer Nature ,1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• PARLOG: parallel programming in logic
  ACM Transactions on Programming Languages and Systems, 1986
• Propositional dynamic logic of flowcharts
  Information and Control, 1985
• Dynamic Logic
  Published by Springer Nature ,1984
• Alternation
  Journal of the ACM, 1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Propositional dynamic logic of regular programs
  Journal of Computer and System Sciences, 1979
• Complexity measures for regular expressions
  Journal of Computer and System Sciences, 1976
• Economy of description by automata, grammars, and formal systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1971