Pages that link to "Item:Q2852064"
From MaRDI portal
The following pages link to A Petri net semantics of a simple process algebra for mobility (Q2852064):
Displaying 7 items.
- Timed mobility in process algebra and Petri nets (Q638567) (← links)
- M-nets: a survey (Q1006339) (← links)
- A Polynomial Translation of Mobile Ambients into Safe Petri Nets (Q2835404) (← links)
- On the expressiveness of mobile synchronizing Petri nets (Q2864393) (← links)
- Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668) (← links)
- Mobile Petri nets (Q3655764) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479155) (← links)