The following pages link to A calculus of mobile processes. I (Q1198548):
Displaying 31 items.
- Topological models for higher order control flow (Q5890044) (← links)
- Psi-calculi in Isabelle (Q5890661) (← links)
- Formal Methods for Components and Objects (Q5897131) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5918263) (← links)
- A process-calculus analysis of concurrent operations on B-trees (Q5943122) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- On first-order runtime enforcement of branching-time properties (Q6090988) (← links)
- Process calculus based upon evaluation to committed form (Q6104363) (← links)
- Constraints as processes (Q6104383) (← links)
- A calculus of mobile agents (Q6104384) (← links)
- Modular rewritable Petri nets: an efficient model for dynamic distributed systems (Q6120343) (← links)
- Lang-n-Send Extended: Sending Regular Expressions to Monitors (Q6122642) (← links)
- The reflective higher-order calculus: encodability, typability and separation (Q6124241) (← links)
- A model of actors and grey failures (Q6137831) (← links)
- A full process algebraic representation of ant colony optimization (Q6153225) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
- Algebraic interpretation of lambda calculus with resources (Q6162097) (← links)
- Executable Semantics and Type Checking for Session-Based Concurrency in Maude (Q6487298) (← links)
- Analysing adaption processes of Hornets (Q6550564) (← links)
- Branching bisimulation semantics for quantum processes (Q6551718) (← links)
- DeepSec: deciding equivalence properties for security protocols -- improved theory and practice (Q6566464) (← links)
- Describing and animating quantum protocols (Q6612788) (← links)
- A generic type system for higher-order \(\Psi\)-calculi (Q6614878) (← links)
- Higher-order asynchronous effects (Q6635509) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)
- Comparing session type systems derived from linear logic (Q6643467) (← links)
- Minimal translations from synchronous communication to synchronizing locks (Q6643748) (← links)
- Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)
- Deadlock freedom for asynchronous and cyclic process networks (Q6649541) (← links)
- A subexponential view of domains in session types (Q6661154) (← links)
