An Interface Group for Process Components

DOI10.3233/FI-2010-254zbMath1204.68134OpenAlexW3100640125MaRDI QIDQ4932073

Jan A. Bergstra, C. A. Middelburg

Publication date: 1 October 2010

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2010-254

zbMATH Keywords

process algebrainterface groupprocess component

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Building a Modal Interface Theory for Concurrency and Data ⋮ Interface theories for concurrency and data

This page was built for publication: An Interface Group for Process Components