Publication:4787241
From MaRDI portal
zbMath1002.68510MaRDI QIDQ4787241
Claus Schröter, Javier Esparza
Publication date: 9 January 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2144/21440310
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Petri Net Reductions for Counting Markings, A theory of structural stationarity in the \(\pi\)-calculus, Automata-driven partial order reduction and guided search for LTL model checking, Decompositional Petri Net Reductions