Pages that link to "Item:Q1285660"
From MaRDI portal
The following pages link to Non-interleaving semantics for mobile processes (Q1285660):
Displaying 22 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- An analysis for causal properties of membrane interactions (Q275996) (← links)
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← 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)
- Measuring security in IoT communications (Q1731516) (← links)
- Language-based performance prediction for distributed and mobile systems (Q1854534) (← links)
- Modelling biochemical pathways through enhanced \(\pi\)-calculus (Q1884867) (← links)
- Concurrencies in reversible concurrent calculi (Q2097423) (← links)
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
- Causal static analysis for brane calculi (Q2348028) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- A Chart Semantics for the Pi-Calculus (Q2864369) (← links)
- Synchrony versus causality in distributed systems (Q2971080) (← links)
- (Q3384917) (← links)
- Pierpaolo Degano (Q3460854) (← links)
- Static Evidences for Attack Reconstruction (Q3460869) (← links)
- The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)
