The following pages link to Principles of Distributed Systems (Q5466224):
Displaying 4 items.
- dSL (Q12987) (← links)
- A definition language for the communication interconnections in distributied automation systems (Q1374803) (← links)
- The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin (Q2576584) (← links)
- Testing Distributed Systems Through Symbolic Model Checking (Q3612360) (← links)