A language for linking modules into systems

DOI10.1007/BF01934380zbMath0568.68022MaRDI QIDQ1060558

Lars-Erik Thorelli

Publication date: 1985

Published in: BIT (Search for Journal in Brave)

zbMATH Keywords

semanticsconcurrent processescalculus of communicating systemsexport-import relationshipslabeled directed graphsmany-to-one communication channelsMilner's language CCS

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites Work

• A calculus of communicating systems
• Flowgraphs and Flow Algebras
• Concurrent Processes and Their Syntax