The following pages link to (Q4951656):
Displaying 3 items.
- Compositional Petri net approach to the development of concurrent and distributed systems (Q1403207) (← links)
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets (Q2063102) (← links)
- Formal Specification of Concurrent Systems: A Structured Approach (Q4226631) (← links)