A taxonomy of process calculi for distribution and mobility
From MaRDI portal
Publication:660996
DOI10.1007/S00446-010-0120-6zbMATH Open1231.68169OpenAlexW2019329654MaRDI QIDQ660996FDOQ660996
Recommendations
Cites work
- scientific article; zbMATH DE number 954809 (Why is no real title available?)
- scientific article; zbMATH DE number 1223731 (Why is no real title available?)
- scientific article; zbMATH DE number 2059568 (Why is no real title available?)
- scientific article; zbMATH DE number 1927570 (Why is no real title available?)
- scientific article; zbMATH DE number 1746454 (Why is no real title available?)
- scientific article; zbMATH DE number 1759482 (Why is no real title available?)
- A Distributed Pi-Calculus
- A calculus of mobile processes. I
- A generic type system for the \(\pi\)-calculus
- A typed encoding of boxed into safe ambients
- Automata, Languages and Programming
- Comparing communication primitives via their relative expressive power
- Decoding choice encodings
- Expressiveness of process algebras
- Functions as processes
- Leader election in rings of ambient processes
- Mobile ambients
- On an open problem of Amadio and Curien: The finite antichain condition
- On modelling mobility
- On the computational strength of pure ambient calculi
- On the expressive power of \textsc{Klaim}-based calculi
- On the expressive power of movement and restriction in pure mobile ambients
- On the expressiveness of pure mobile ambients
- On the relative expressive power of calculi for mobility
- Programming Languages and Systems
- Resource access control in systems of mobile agents
- Safe ambients: Abstract machine and distributed implementation
- Secure implementations of typed channel abstractions
- Semantic Barbs and Biorthogonality
- Symmetric electoral systems for ambient calculi
- Testing equivalences for processes
- The \(\pi\)-calculus: A theory of mobile processes
- Towards a behavioural theory of access and mobility control in distributed systems
- Towards a unified approach to encodability and separation results for process calculi
- What is a ``good encoding of guarded choice?
Cited in
(18)- Full abstraction for expressiveness: history, myths and facts
- Session-based concurrency, declaratively
- On the distributability of mobile ambients
- On the relative expressiveness of higher-order session processes
- Mixed choice in session types
- On distributability in process calculi
- Comparing session type systems derived from linear logic
- Towards a Visual Definition of a Process in a Distributed Environment
- On the relative expressive power of calculi for mobility
- Expressiveness of concurrent intensionality
- scientific article; zbMATH DE number 7449992 (Why is no real title available?)
- On the expressiveness of \(\pi\)-calculus for encoding mobile ambients
- The seal calculus
- On the expressiveness of symmetric communication
- On the expressive power of \textsc{Klaim}-based calculi
- On the expressive power of \textsc{Klaim}-based calculi
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus
- Lexically scoped distribution: what you see is what you get
This page was built for publication: A taxonomy of process calculi for distribution and mobility
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q660996)
