Pages that link to "Item:Q1285660"
From MaRDI portal
The following pages link to Non-interleaving semantics for mobile processes (Q1285660):
Displayed 6 items.
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- Primitives for authentication in process algebras. (Q1603653) (← links)
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Language-based performance prediction for distributed and mobile systems (Q1854534) (← links)
- Modelling biochemical pathways through enhanced \(\pi\)-calculus (Q1884867) (← links)