Pages that link to "Item:Q3833645"
From MaRDI portal
The following pages link to Readies and Failures in the Algebra of Communicating Processes (Q3833645):
Displayed 11 items.
- Specification-oriented semantics for communicating processes (Q1060838) (← links)
- Global renaming operators in concrete process algebra (Q1106660) (← links)
- Algebraic and fixed point equations over inverse limits of algebras (Q1177146) (← links)
- Petri net semantics of priority systems (Q1190490) (← links)
- Structured operational semantics and bisimulation as a congruence (Q1198952) (← links)
- On deciding trace equivalences for processes (Q1310916) (← links)
- Full abstraction and recursion (Q1365671) (← links)
- A fully abstract model for the exchange of information in multi-agent systems. (Q1401189) (← links)
- Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) (← links)
- On deciding some equivalences for concurrent processes (Q4362275) (← links)
- (Q4499206) (← links)