Forward Analysis for WSTS, Part II: Complete WSTS
From MaRDI portal
Publication:3166218
DOI10.2168/LMCS-8(3:28)2012zbMath1248.68329OpenAlexW2011751050MaRDI QIDQ3166218
Jean Goubault-Larrecq, Alain Finkel
Publication date: 22 October 2012
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2168/lmcs-8(3:28)2012
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
Infinitary Noetherian constructions II. Transfinite words and the regular subword topology, Unnamed Item, Deciding Structural Liveness of Petri Nets, Verification of Flat FIFO Systems, Partial-Observation Stochastic Games, The ideal view on Rackoff's coverability technique, Coverability Trees for Petri Nets with Unordered Data, Unnamed Item, Forward analysis for WSTS, part I: completions, Commodification of accelerations for the Karp and Miller construction, Unnamed Item, Structural liveness of Petri nets is \textsc{ExpSpace}-hard and decidable