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
4 papers · 2 filters
Reactive Temporal Logic
Rob van Glabbeek
Whereas standard treatments of temporal logic are adequate for closed systems, having no run-time interactions with their environment, they fall short for reactive systems, interac…
Reactive Bisimulation Semantics for a Process Algebra with Time-Outs
Rob van Glabbeek
This paper introduces the counterpart of strong bisimilarity for labelled transition systems extended with time-out transitions. It supports this concept through a modal characteri…
Encoding Linear Constraints into SAT
Ignasi Abío, Valentin Mayer-Eichberger, Peter Stuckey
Linear integer constraints are one of the most important constraints in combinatorial problems since they are commonly found in many practical applications. Typically, encodings to…
A Mechanised Semantics for HOL with Ad-hoc Overloading
Johannes Åman Pohjola, Arve Gengelbach
Isabelle/HOL augments classical higher-order logic with ad-hoc overloading of constant definitions---that is, one constant may have several definitions for non-overlapping types. I…