Pages that link to "Item:Q3460063"
From MaRDI portal
The following pages link to On the Expressive Power of Communication Primitives in Parameterised Systems (Q3460063):
Displaying 9 items.
- Semantics of communication in simple multimodular programs (Q796293) (← links)
- Parameterized model checking of rendezvous systems (Q1635829) (← links)
- The polynomial complexity of vector addition systems with states (Q2200853) (← links)
- Model Checking Parameterised Multi-token Systems via the Composition Method (Q2817946) (← links)
- On the Expressiveness of Forwarding in Higher-Order Communication (Q3393405) (← links)
- On the Expressive Power of Primitives for Compensation Handling (Q3558236) (← links)
- (Q4520835) (← links)
- (Q5089313) (← links)
- Foundations of Software Science and Computation Structures (Q5899079) (← links)