scientific article; zbMATH DE number 1756007

zbMath0987.68049MaRDI QIDQ4535793

Sébastien Grivet, Jean-Michel Couvreur, Denis Poitrenaud

Publication date: 16 June 2002

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Recent advances in unfolding technique ⋮ Trellis processes: a compact representation for runs of concurrent systems