scientific article; zbMATH DE number 2112983
From MaRDI portal
Publication:4824482
zbMath1082.68077MaRDI QIDQ4824482
Jean-Pierre Talpin, Frederic Doucet, Sandeep Kumar Shukla, Paul Le Guernic, Rajesh Kumar Gupta
Publication date: 1 November 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
A framework for modeling the distributed deployment of synchronous designs ⋮ A compositional behavioral modeling framework for embedded system design and conformance checking
Uses Software
This page was built for publication:
