What is a free name in a process algebra?

DOI10.1016/J.IPL.2007.04.001MaRDI QIDQ2379969zbMATHOpenAlexDBLPWikidataFDO

Authors Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard

Publication date 24 March 2010

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2007.04.001

zbMATH Keywords

concurrencyprocess algebrasreaction semantics

Mathematics Subject Classification ID

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

Recommendations

• Elementary structures in process theory (1): Sets with renaming
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
• A congruence rule format for name-passing process calculi
• Fixed points in free process algebras. I
• On process rate semantics

Cites work

• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 2161330 (Why is no real title available?)
• A calculus of communicating systems
• An introduction to the \(\pi\)-calculus.
• BioAmbients: an abstraction for biological compartments
• Data Flow Analysis for CCS
• Handbook of process algebra
• Mobile ambients
• Modelling biochemical pathways through enhanced \(\pi\)-calculus
• The chemical abstract machine

Cited in

(3)

• Pathway analysis for BioAmbients
• Active evaluation contexts for reaction semantics
• Elementary structures in process theory (1): Sets with renaming

Describes a project that uses

Uses Software

• SLMC

This page was built for publication: What is a free name in a process algebra?

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