Pages that link to "Item:Q1391788"
From MaRDI portal
The following pages link to The algebra of communicating processes with empty process (Q1391788):
Displayed 9 items.
- Duplication of constants in process algebra (Q864505) (← links)
- On the consistency of Koomen's fair abstraction rule (Q1090103) (← links)
- Structured operational semantics and bisimulation as a congruence (Q1198952) (← links)
- Nonaxiomatisability of equivalences over finite state processes (Q1377607) (← links)
- A general conservative extension theorem in process algebras with inequalities (Q1391791) (← links)
- Decomposition orders -- another generalisation of the fundamental theorem of arithmetic (Q1781996) (← links)
- Axiomatizing GSOS with termination (Q1878716) (← links)
- Rule formats for compositional non-interference properties (Q1878717) (← links)
- Rooted branching bisimulation as a congruence (Q1975965) (← links)