Pages that link to "Item:Q638567"
From MaRDI portal
The following pages link to Timed mobility in process algebra and Petri nets (Q638567):
Displaying 10 items.
- Strategy based semantics for mobility with time and access permissions (Q890480) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Dynamics of reputation in mobile agents systems and weighted timed automata (Q2064524) (← links)
- A Petri net semantics of a simple process algebra for mobility (Q2852064) (← links)
- Interaction in time and space (Q2864506) (← links)
- UTP Semantics for rTiMo (Q2971181) (← links)
- Employing Costs in Multiagent Systems with Timed Migration and Timed Communication (Q3297779) (← links)
- A Timed Mobility Semantics Based on Rewriting Strategies (Q4899686) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479155) (← links)