scientific article; zbMATH DE number 2060760
From MaRDI portal
Publication:4458493
zbMath1058.68540MaRDI QIDQ4458493
Ryszard Janicki, Maciej Koutny
Publication date: 18 March 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Process semantics of general inhibitor nets ⋮ Modelling concurrency with comtraces and generalized comtraces ⋮ Relational structures model of concurrency ⋮ Partial order semantics and read arcs
This page was built for publication: