scientific article; zbMATH DE number 7308316
From MaRDI portal
Publication:5150074
zbMath1454.68077MaRDI QIDQ5150074
Publication date: 9 February 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2009.4
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)
Related Items (2)
Combine and conquer: relating BIP and Reo ⋮ Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets
This page was built for publication:
