2.2k citations
- Commonwealth Scientific and Industrial Research OrganisationAU600 papers
- UNSW SydneyAU267 papers
- Australian National UniversityAU251 papers
- The University of MelbourneAU94 papers
- The University of SydneyAU74 papers
- Monash UniversityAU58 papers
- University of Technology SydneyAU43 papers
- Queensland University of TechnologyAU42 papers
- The University of AdelaideAU40 papers
- The University of QueenslandAU39 papers
- Macquarie UniversityAU36 papers
- RMIT UniversityAU30 papers
Showing 2009 · cs.LOShow all
2 papers · 2 filters
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…