Parametric channels via label expressions in CCS

DOI10.1016/0304-3975(84)90102-6zbMATH Open0542.68017OpenAlexW2025294912MaRDI QIDQ795500FDOQ795500

Authors: Egidio Astesiano, Elena Zucca 

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

Recommendations

• scientific article; zbMATH DE number 3846850
• On CCS with parametric relabelling
• scientific article; zbMATH DE number 4018372
• scientific article; zbMATH DE number 30325
• scientific article; zbMATH DE number 3986626

zbMATH Keywords

CCSCalculus of Communicating Systemsconcurrent languages

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites Work

• A structural approach to operational semantics
• Calculi for synchrony and asynchrony
• A calculus of communicating systems
• Communicating sequential processes
• Towards a formal description of Ada
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• A calculus of mobile processes. I
• On the interactive power of higher-order processes extended with parameterization
• Ugo Montanari and Friends
• On CCS with parametric relabelling
• Title not available (Why is that?)

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

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