scientific article; zbMATH DE number 1456956
From MaRDI portal
Publication:4954445
zbMath0938.03537MaRDI QIDQ4954445
Publication date: 7 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25)
Related Items
Model checking Petri nets with names using data-centric dynamic systems ⋮ Nominal Automata for Resource Usage Control ⋮ Constrained properties, semilinear systems, and Petri nets ⋮ Honesty by Typing ⋮ Model checking the full modal mu-calculus for infinite sequential processes ⋮ Deciding properties of integral relational automata ⋮ On Decidability of LTL+Past Model Checking for Process Rewrite Systems ⋮ Decidability of model checking with the temporal logic EF ⋮ On the complexity of resource-bounded logics ⋮ Model checking for process rewrite systems and a class of action-based regular properties ⋮ On decidability of LTL model checking for process rewrite systems ⋮ Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS ⋮ Unnamed Item ⋮ On Yen’s Path Logic for Petri Nets ⋮ Unnamed Item
