A fully abstract model for the -calculus.
From MaRDI portal
Recommendations
- A fully abstract denotational semantics for the \(\pi\)-calculus
- scientific article; zbMATH DE number 1759486
- An intensionally fully-abstract sheaf model for \(\pi\)
- Foundations of Software Science and Computational Structures
- Free-algebra models for the \(\pi \)-calculus
- A symbolic semantics for the \(\pi\)-calculus
- A fully-abstract semantics of \(\lambda\mu\) in the \(\pi\)-calculus
- scientific article; zbMATH DE number 6816930
- Full abstraction for polymorphic \(\pi \)-calculus
- Automata, Languages and Programming
Cites work
- scientific article; zbMATH DE number 3949678 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 3716749 (Why is no real title available?)
- scientific article; zbMATH DE number 3754002 (Why is no real title available?)
- scientific article; zbMATH DE number 1086714 (Why is no real title available?)
- scientific article; zbMATH DE number 1479606 (Why is no real title available?)
- A calculus of mobile processes. II
- A domain equation for bisimulation
- A fully abstract denotational model for higher-order processes
- A fully abstract denotational semantics for the \(\pi\)-calculus
- A representable approach to finite nondeterminism
- A symbolic semantics for the \(\pi\)-calculus
- A term model for synchronous processes
- A theory of bisimulation for the -calculus
- Algebraic theories for name-passing calculi
- Axiomatic Domain Theory in Categories of Partial Maps
- CPO models for compact GSOS languages
- Notions of computation and monads
- On the bisimulation proof method
- Process Algebra
- Processes as terms: non-well-founded models for bisimulation
- The Category-Theoretic Solution of Recursive Domain Equations
- The \(\pi\)-calculus: A theory of mobile processes
- \(\pi\)-calculus, internal mobility, and agent-passing calculi
Cited in
(36)- A coinductive calculus for asynchronous side-effecting processes
- Foundations of Software Science and Computational Structures
- A name abstraction functor for named sets
- A semantic theory for value-passing processes based on the late approach
- A presheaf environment for the explicit fusion calculus
- Models for name-passing processes: Interleaving and causal
- Monoidal indeterminates and categories of possible worlds
- A Category of Explicit Fusions
- scientific article; zbMATH DE number 7559490 (Why is no real title available?)
- An intensionally fully-abstract sheaf model for \(\pi\)
- First-order semantics for higher-order processes
- An initial algebra approach to term rewriting systems with variable binders
- A coinductive calculus for asynchronous side-effecting processes
- A fully abstract may testing semantics for concurrent objects
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
- Monoidal indeterminates and categories of possible worlds
- Full abstraction for polymorphic \(\pi \)-calculus
- Automata, Languages and Programming
- A static analysis of cryptographic processes: the denotational approach
- A fully abstract denotational semantics for the \(\pi\)-calculus
- Types and full abstraction for polyadic \(\pi\)-calculus
- Two cotensors in one: presentations of algebraic theories for local state and fresh names
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
- A categorical model of an \textbf{i/o}-typed \(\pi \)-calculus
- Free-algebra models for the \(\pi \)-calculus
- Comparing operational models of name-passing process calculi
- On the construction of free algebras for equational systems
- How to prove decidability of equational theories with second-order computation analyser SOL
- Families of symmetries as efficient models of resource binding
- About permutation algebras, (pre)sheaves and named sets
- scientific article; zbMATH DE number 1086714 (Why is no real title available?)
- Weak bisimilarity coalgebraically
- scientific article; zbMATH DE number 6816930 (Why is no real title available?)
- Foundations of Software Science and Computational Structures
- A resource analysis of the \(\pi\)-calculus
This page was built for publication: A fully abstract model for the \(\pi\)-calculus.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1400720)
