Decoding choice encodings
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 92600 (Why is no real title available?)
- scientific article; zbMATH DE number 1231600 (Why is no real title available?)
- scientific article; zbMATH DE number 1479644 (Why is no real title available?)
- scientific article; zbMATH DE number 1531624 (Why is no real title available?)
- scientific article; zbMATH DE number 1414288 (Why is no real title available?)
- A calculus of mobile processes. II
- A foundation for higher-order concurrent constraint programming
- A theory of higher order communicating systems
- An efficiency preorder for processes
- An investigation into functions as processes
- Barbed bisimulation
- Bisimulation and divergence
- Constraints as processes
- From \(\pi \)-calculus to higher-order \(\pi \)-calculus -- and back
- From a concurrent λ-calculus to the π-calculus
- Functions as processes
- Objects in the \(\pi\)-calculus
- On bisimulations for the asynchronous \(\pi\)-calculus
- On reduction-based process semantics
- On the proof method for bisimulation
- Plain CHOCS. A second generation calculus for higher order processes
- Polarized name passing
- Process Algebra
- The lazy lambda calculus in a concurrency scenario
- \(\pi\)-calculus semantics of object-oriented programming languages
- \(\pi\)-calculus, internal mobility, and agent-passing calculi
Cited in
(41)- Full abstraction for expressiveness: history, myths and facts
- On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus
- On the expressive power of polyadic synchronisation in \(\pi \)-calculus
- Comparing communication primitives via their relative expressive power
- Linear forwarders
- Theory of interaction
- A hierarchy of equivalences for asynchronous calculi
- The \(\lambda \)-calculus in the \(\pi \)-calculus
- Analysing and comparing encodability criteria
- Encoding CSP into CCS
- A randomized encoding of the \(\pi\)-calculus with mixed choice
- Distinguishing and relating higher-order and first-order processes by expressiveness
- Types for access control
- On the interactive power of higher-order processes extended with parameterization
- On the expressive power of movement and restriction in pure mobile ambients
- scientific article; zbMATH DE number 7288621 (Why is no real title available?)
- On an open problem of Amadio and Curien: The finite antichain condition
- Coupled similarity: the first 32 years
- Tutorial on separation results in process calculi via leader election problems
- A calculus for reasoning about software composition
- On the relative expressive power of calculi for mobility
- A translation of beta-binders in a prioritized pi-calculus
- Expressiveness of process algebras
- scientific article; zbMATH DE number 7449992 (Why is no real title available?)
- On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus
- Replacement freeness: a criterion for separating process calculi
- CCS with priority guards
- Towards a unified approach to encodability and separation results for process calculi
- Abstractions for fault-tolerant global computing
- Communication and mobility control in boxed ambients
- Decoding choice encodings
- What is a ``good encoding of guarded choice?
- A taxonomy of process calculi for distribution and mobility
- On bisimulations for the asynchronous \(\pi\)-calculus
- Breaking symmetries
- On the expressive power of \textsc{Klaim}-based calculi
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus
- Stronger Validity Criteria for Encoding Synchrony
- Psi-calculi revisited: connectivity and compositionality
- The \(C_\pi\)-calculus: a model for confidential name passing
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi
This page was built for publication: Decoding choice encodings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1854385)
