scientific article; zbMATH DE number 1231559

zbMath0943.68062MaRDI QIDQ4222875

Javier Esparza, Olaf Burkart

Publication date: 20 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume5.htm#esparza

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

concurrency theory

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (2)

Algebraic characterization of petri net pomset semantics ⋮ Model checking the full modal mu-calculus for infinite sequential processes

This page was built for publication: