Comparing operational models of name-passing process calculi

MaRDI QIDQ2847808zbMATH OpenFDO

Authors Sam Staton, Marcelo P. Fiore

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104051709

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) 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

Cited in

(11)

• A congruence rule format for name-passing process calculi
• Free-algebra models for the \(\pi \)-calculus
• Comparing operational models of name-passing process calculi
• A name abstraction functor for named sets
• Symmetries and Dualities in Name-Passing Process Calculi
• Modularity and implementation of mathematical operational semantics
• scientific article; zbMATH DE number 7167779 (Why is no real title available?)
• Models for name-passing processes: Interleaving and causal
• Symmetries, local names and dynamic (de)-allocation of names
• About permutation algebras, (pre)sheaves and named sets
• A coalgebraic semantics for causality in Petri nets

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 Q2847808)