What is a free name in a process algebra?

DOI10.1016/J.IPL.2007.04.001zbMATH Open1184.68346DBLPjournals/ipl/NielsonNP07OpenAlexW2044405520WikidataQ59416353 ScholiaQ59416353MaRDI QIDQ2379969FDOQ2379969

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

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

zbMATH Keywords

concurrencyprocess algebrasreaction semantics

Mathematics Subject Classification ID

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

Cites Work

• BioAmbients: an abstraction for biological compartments
• Title not available (Why is that?)
• The chemical abstract machine
• A calculus of communicating systems
• Handbook of process algebra
• An introduction to the \(\pi\)-calculus.
• Mobile ambients
• Modelling biochemical pathways through enhanced \(\pi\)-calculus
• Data Flow Analysis for CCS
• Title not available (Why is that?)

Cited In (3)

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

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)