The following pages link to (Q4525274):
Displaying 16 items.
- A process calculus with finitary comprehended terms (Q385508) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- A generalization of ACP using Belnap's logic (Q864509) (← links)
- Execution architectures for program algebra (Q881834) (← links)
- A note on an expressiveness hierarchy for multi-exit iteration (Q1014386) (← links)
- A complete equational axiomatization for MPA with string iteration (Q1274456) (← links)
- A complete equational axiomatization for prefix iteration (Q1342264) (← links)
- An equational axiomatization for multi-exit iteration (Q1369097) (← links)
- Nonaxiomatisability of equivalences over finite state processes (Q1377607) (← links)
- A general conservative extension theorem in process algebras with inequalities (Q1391791) (← links)
- Termination modulo equations by abstract commutation with an application to iteration (Q1391793) (← links)
- Two finite specifications of a queue (Q1391797) (← links)
- Equivalence of recursive specifications in process algebra (Q1607118) (← links)
- The max-plus algebra of the natural numbers has no finite equational basis (Q1870591) (← links)
- Branching time and orthogonal bisimulation equivalence (Q1884905) (← links)
