98 citations · 569 across the 35 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009★ 11 cited
Computation Tree Logic with Deadlock Detection
Rob van Glabbeek, Bas Luttik, Nikola Trcka
We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Tree Logic without the next state modality (CTL-X). This r…
cs.LO2009★ 98 cited
Configuration Structures, Event Structures and Petri Nets
R. J. van Glabbeek, G. D. Plotkin
In this paper the correspondence between safe Petri nets and event structures, due to Nielsen, Plotkin and Winskel, is extended to arbitrary nets without self-loops, under the coll…