Recursive process definitions with the state operator

DOI10.1016/0304-3975(91)90225-QzbMATH Open0724.68035MaRDI QIDQ758198FDOQ758198

Authors: Jos C. M. Baeten, J. A. Bergstra 

Publication date: 1991

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

Recommendations

• scientific article; zbMATH DE number 858832
• Equivalence of recursive specifications in process algebra
• Process algebra with recursive operations
• Register-machine based processes
• CONCUR 2005 – Concurrency Theory

zbMATH Keywords

concurrencybasic process algebraconcurrent communicating processes

Mathematics Subject Classification ID

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

Cites Work

• Process algebra for synchronous communication
• Title not available (Why is that?)
• A calculus of communicating systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Global renaming operators in concrete process algebra
• Title not available (Why is that?)
• Recursive process definitions with the state operator

Cited In (5)

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

This page was built for publication: Recursive process definitions with the state operator

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q758198)