scientific article; zbMATH DE number 1852166
From MaRDI portal
Publication:4787241
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Petri Net Reductions for Counting Markings ⋮ Automata-driven partial order reduction and guided search for LTL model checking ⋮ Decompositional Petri Net Reductions ⋮ A theory of structural stationarity in the \(\pi\)-calculus
This page was built for publication:
