The following pages link to Modal logics for mobile processes (Q685408):
Displayed 25 items.
- A randomized encoding of the \(\pi\)-calculus with mixed choice (Q555750) (← links)
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- Symbolic bisimulations (Q674194) (← links)
- An algebraic verification of a mobile network (Q1205185) (← links)
- Partial confluence of processes and systems of objects (Q1274970) (← links)
- Non-interleaving semantics for mobile processes (Q1285660) (← links)
- On sequential composition, action prefixes and process prefix (Q1333405) (← links)
- A \(\pi\)-calculus with explicit substitutions (Q1350998) (← links)
- On the decidability of process equivalences for the \(\pi\)-calculus (Q1391099) (← links)
- Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus. (Q1400579) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Names of the \(\pi\)-calculus agents handled locally (Q1589648) (← links)
- \(\pi\)-calculus in (Co)inductive-type theory (Q1589654) (← links)
- The security pi-calculus and non-interference (Q1772311) (← links)
- Discrimination by parallel observers: the algorithm. (Q1854269) (← links)
- Static analysis for the \(\pi\)-calculus with applications to security (Q1854437) (← links)
- Language-based performance prediction for distributed and mobile systems (Q1854534) (← links)
- A spatial logic for concurrency. I (Q1887152) (← links)
- A modal logic for message passing processes (Q1894680) (← links)
- A Logic for Distributed Higher Order π-Calculus (Q3502660) (← links)
- A Complete Axiomatic System for a Process-Based Spatial Logic (Q3599152) (← links)
- Decidable Extensions of Hennessy-Milner Logic (Q3613068) (← links)
- (Q4222877) (← links)
- Multiple-Labelled Transition Systems for nominal calculi and their logics (Q5458061) (← links)
- Explicit substitutions for \(\pi\)-congruences (Q5958613) (← links)