Pages that link to "Item:Q5479155"
From MaRDI portal
The following pages link to Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479155):
Displaying 7 items.
- A UTP approach for rTiMo (Q1624596) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- On the expressiveness of mobile synchronizing Petri nets (Q2864393) (← links)
- UTP Semantics for rTiMo (Q2971181) (← links)
- Hornets: Nets within Nets Combined with Net Algebra (Q3636848) (← links)
- Mobile Petri nets (Q3655764) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703993) (← links)