A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
From MaRDI portal
Publication:3561227
DOI10.3233/FI-2010-240zbMath1205.68123OpenAlexW1546426447MaRDI QIDQ3561227
Elvira Pino, Hartmut Ehrig, Markus Klein, Sonia Pérez, Fernando Orejas, Julia Padberg
Publication date: 25 May 2010
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2010-240
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP