Parametric channels via label expressions in CCS

DOI10.1016/0304-3975(84)90102-6MaRDI QIDQ795500zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

CCSCalculus of Communicating Systemsconcurrent languages

Mathematics Subject Classification ID

Theory of operating systems (68N25)

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

Cites work

• scientific article; zbMATH DE number 3692631 (Why is no real title available?)
• scientific article; zbMATH DE number 3793396 (Why is no real title available?)
• A calculus of communicating systems
• A structural approach to operational semantics
• Calculi for synchrony and asynchrony
• Communicating sequential processes
• Towards a formal description of Ada

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
• scientific article; zbMATH DE number 3846850 (Why is no real title available?)

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)