scientific article; zbMATH DE number 1354143
From MaRDI portal
Publication:4268457
zbMath0925.68329MaRDI QIDQ4268457
Javier Esparza, Jens Palsberg, Allan Cheng
Publication date: 31 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
Related Items (8)
Unnamed Item ⋮ Complexity results for 1-safe nets ⋮ Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations ⋮ Directed Unfolding of Petri Nets ⋮ Decompositional Petri Net Reductions ⋮ Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets ⋮ Petri nets, traces, and local model checking ⋮ Everything Is PSPACE-Complete in Interaction Systems
This page was built for publication:
