What is a free name in a process algebra?

DOI10.1016/j.ipl.2007.04.001zbMath1184.68346OpenAlexW2044405520WikidataQ59416353 ScholiaQ59416353MaRDI QIDQ2379969

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)

Related Items (1)

Pathway analysis for BioAmbients

Uses Software

• SLMC

Cites Work

• A calculus of communicating systems
• The chemical abstract machine
• Mobile ambients
• Modelling biochemical pathways through enhanced \(\pi\)-calculus
• BioAmbients: an abstraction for biological compartments
• Data Flow Analysis for CCS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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