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 2011 · cs.LOShow all
2 papers · 2 filters
cs.LO2011★ 1 cited
Symmetry Breaking for Distributed Multi-Context Systems
Christian Drescher, Thomas Eiter, Michael Fink +2
Heterogeneous nonmonotonic multi-context systems (MCS) permit different logics to be used in different contexts, and link them via bridge rules. We investigate the role of symmetry…
cs.LO2011★ 18 cited
Abstract Processes of Place/Transition Systems
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
A well-known problem in Petri net theory is to formalise an appropriate causality-based concept of process or run for place/transition systems. The so-called individual token inter…