Comparing operational models of name-passing process calculi

DOI10.1016/J.IC.2005.08.004zbMATH1101.68697OpenAlexW2034986004MaRDI QIDQ2495643FDOQ2495643

Authors Marcelo P. Fiore, Sam Staton

Publication date 30 June 2006

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2005.08.004

zbMATH Keywords

internal labelled transition systemsSchanuel topos

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Comparing operational models of name-passing process calculi
• Models for name-passing processes: Interleaving and causal
• Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
• Symmetries, local names and dynamic (de)-allocation of names
• About permutation algebras, (pre)sheaves and named sets

Cites work

• scientific article; zbMATH DE number 1231616 (Why is no real title available?)
• scientific article; zbMATH DE number 2087427 (Why is no real title available?)
• A fully abstract model for the \(\pi\)-calculus.
• A theory of bisimulation for the \(\pi\)-calculus
• Comparing operational models of name-passing process calculi
• Models for name-passing processes: Interleaving and causal
• Some characterization results for permutation algebras

Cited in

(26)

• A name abstraction functor for named sets
• scientific article; zbMATH DE number 7449991 (Why is no real title available?)
• Coinductive predicates and final sequences in a fibration
• Symmetries, local names and dynamic (de)-allocation of names
• Spans of cospans
• Equational presentations of functors and monads
• Structural operational semantics for continuous state stochastic transition systems
• Models for name-passing processes: Interleaving and causal
• Symmetries and Dualities in Name-Passing Process Calculi
• Families of symmetries as efficient models of resource binding
• Comparing operational models of name-passing process calculi
• scientific article; zbMATH DE number 2087427 (Why is no real title available?)
• A categorical model of the fusion calculus
• About permutation algebras, (pre)sheaves and named sets
• Coalgebraic modal logic beyond sets
• Bialgebras for structural operational semantics: an introduction
• A presheaf environment for the explicit fusion calculus
• A well-behaved LTS for the pi-calculus (abstract)
• A class of automata for the verification of infinite, resource-allocating behaviours
• Coinductive predicates and final sequences in a fibration
• scientific article; zbMATH DE number 7167779 (Why is no real title available?)
• A congruence rule format for name-passing process calculi
• Exploring nominal cellular automata
• Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
• Initial algebras of terms with binding and algebraic structure
• scientific article; zbMATH DE number 7121901 (Why is no real title available?)

This page was built for publication: Comparing operational models of name-passing process calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2495643)