Parametric channels via label expressions in CCS

DOI10.1016/0304-3975(84)90102-6zbMath0542.68017OpenAlexW2025294912MaRDI QIDQ795500

Elena Zucca, Egidio Astesiano

Publication date: 1984

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(84)90102-6

zbMATH Keywords

CCSCalculus of Communicating Systemsconcurrent languages

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (4)

On CCS with parametric relabelling ⋮ Ugo Montanari and Friends ⋮ A calculus of mobile processes. I ⋮ On the interactive power of higher-order processes extended with parameterization

Cites Work

• Unnamed Item
• Unnamed Item
• Calculi for synchrony and asynchrony
• Towards a formal description of Ada
• A calculus of communicating systems
• A structural approach to operational semantics
• Communicating sequential processes

This page was built for publication: Parametric channels via label expressions in CCS