Recursive process definitions with the state operator

DOI10.1016/0304-3975(91)90225-QzbMath0724.68035MaRDI QIDQ758198

Jos C. M. Baeten, Jan A. Bergstra

Publication date: 1991

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

concurrencybasic process algebraconcurrent communicating processes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items

Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule, Modular specification of process algebras, Recursive process definitions with the state operator, A conservative look at operational semantics with variable binding, Decidability of bisimulation equivalence for normed pushdown processes

Cites Work

• Recursive process definitions with the state operator
• Global renaming operators in concrete process algebra
• A calculus of communicating systems
• Process algebra for synchronous communication
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item