Recursive process definitions with the state operator
From MaRDI portal
Publication:758198
DOI10.1016/0304-3975(91)90225-QzbMath0724.68035MaRDI QIDQ758198
Jan A. Bergstra, Jos C. M. Baeten
Publication date: 1991
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
Related Items
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, A conservative look at operational semantics with variable binding, Decidability of bisimulation equivalence for normed pushdown processes, Modular specification of process algebras
Cites Work