A Distributed Pi-Calculus
From MaRDI portal
Publication:3439883
Recommendations
Cited in
(47)- Algorithmic type checking for a pi-calculus with name matching and session types
- Network-conscious -calculus -- a model of Pastry
- Dynamic structural operational semantics
- A theory of monitors (extended abstract)
- Verification of correspondence assertions in a calculus for mobile ad hoc networks
- Towards a behavioural theory of access and mobility control in distributed systems
- Declarative event based models of concurrency and refinement in psi-calculi
- The \(C_\pi\)-calculus: a model for confidential name passing
- A theory of system behaviour in the presence of node and link failure
- scientific article; zbMATH DE number 1420796 (Why is no real title available?)
- Processes in space
- On parameterization of higher-order processes
- scientific article; zbMATH DE number 7559490 (Why is no real title available?)
- Precise subtyping for synchronous multiparty sessions
- safeDpi: a language for controlling mobile code
- Exploring probabilistic bisimulations. I
- scientific article; zbMATH DE number 1956519 (Why is no real title available?)
- Counting the cost in the picalculus (extended abstract)
- A calculus of branching processes
- Characteristic bisimulation for higher-order session processes
- Store locally, prove globally
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
- Mobility control via passports
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus
- First-order reasoning for higher-order concurrency
- Strategy based semantics for mobility with time and access permissions
- On asynchronous eventful session semantics
- The Space and Motion of Communicating Agents
- Integrating deployment architectures and resource consumption in timed object-oriented models
- Verification of distributed systems with the axiomatic system of MSVL
- A theory of monitors
- Name-passing calculi: from fusions to preorders and types
- Timed mobility in process algebra and Petri nets
- Processes, systems \& tests: defining contextual equivalences
- Lexically scoped distribution: what you see is what you get
- Types for role-based access control of dynamic web data
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Adding recursion to \textsc{Dpi} (extended abstract)
- On the distributability of mobile ambients
- A taxonomy of process calculi for distribution and mobility
- Using bisimulation proof techniques for the analysis of distributed abstract machines
- scientific article; zbMATH DE number 1500657 (Why is no real title available?)
- MAG\(\pi\): types for failure-prone communication
- Distributability of mobile ambients
- Linked data privacy
- Theory of interaction
- Processes against tests: on defining contextual equivalences
This page was built for publication: A Distributed Pi-Calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3439883)
