An Interface Group for Process Components

DOI10.3233/FI-2010-254MaRDI QIDQ4932073zbMATHOpenAlexFDO

Authors J. 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)

Recommendations

• scientific article; zbMATH DE number 1975591
• An interface model of software components
• Components and interfaces of a process management system for parallel programs
• scientific article; zbMATH DE number 2113951
• scientific article; zbMATH DE number 4039266
• scientific article; zbMATH DE number 5263402

Cited in

(2)

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

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

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