On CCS with parametric relabelling

DOI10.1007/BF01214558zbMath0846.68021OpenAlexW2027117531MaRDI QIDQ1914043

Walter Hussak

Publication date: 2 June 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01214558

zbMATH Keywords

parallel operating systemrelabelling functions

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites Work

• Parametric channels via label expressions in CCS
• Designing equivalent semantic models for process creation
• Unnamed Item

This page was built for publication: On CCS with parametric relabelling