Pages that link to "Item:Q1090105"
From MaRDI portal
The following pages link to Semantics of finite and infinite networks of concurrent communicating agents (Q1090105):
Displaying 13 items.
- Towards a formal foundation of the specification and description language SDL (Q749198) (← links)
- Automated analysis of fault-tolerance in distributed systems (Q816197) (← links)
- Equational reasoning about nondeterministic processes (Q911801) (← links)
- Nondeterministic data flow programs: How to avoid the merge anomaly (Q1095640) (← links)
- Specification and design of shared resource arbitration (Q1186094) (← links)
- Structural and behavioural equivalences of networks (Q1317434) (← links)
- Algebraic specification of reactive systems (Q1575270) (← links)
- Fairness, Resources, and Separation (Q3178252) (← links)
- (Q3774955) (← links)
- On nets, algebras and modularity (Q5096217) (← links)
- The congenial talking philosophers problem in computer networks (Q5138378) (← links)
- Stochastic Semantics of Signaling as a Composition of Agent-view Automata (Q5166629) (← links)
- The algebra of stream processing functions (Q5941194) (← links)