Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

An Interface Group for Process Components

From MaRDI portal
Publication:4932073
Jump to:navigation, search

DOI10.3233/FI-2010-254zbMATH Open1204.68134OpenAlexW3100640125MaRDI QIDQ4932073FDOQ4932073


Authors: J. A. Bergstra, C. A. Middelburg Edit this on Wikidata


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




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


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)



Cited In (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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4932073&oldid=19338796"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 8 February 2024, at 07:15. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki