The following pages link to Modelling distributed systems. (Q2382306):
Displaying 9 items.
- Model of distributed computing system operation with time (Q395266) (← links)
- Verification of mobile ad hoc networks: an algebraic approach (Q549194) (← links)
- Process algebras as support for sustainable systems of services (Q814902) (← links)
- Verification of distributed systems with the axiomatic system of MSVL (Q903507) (← links)
- Distributed systems. Methods and tools for specification. An advanced course (Munich, April 3-12, 1984) (Q1066659) (← links)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- (Q2779774) (← links)
- Analyse régionale des systèmes distribués (Q4421105) (← links)
- Understanding Behaviour of Distributed Systems Using mCRL2 (Q6488308) (← links)