281 citations
- University of AmsterdamNL26 papers
- Eindhoven University of TechnologyNL22 papers
- College of Western IdahoUS7 papers
- University of CambridgeGB5 papers
- Universidad Pública de Navarra (UPNA)ES4 papers
- University of WaterlooCA4 papers
- Vrije Universiteit AmsterdamNL4 papers
- ETH ZurichCH3 papers
- Université de BordeauxFR3 papers
- University of BristolGB3 papers
- Berkeley CollegeUS2 papers
- California Institute of TechnologyUS2 papers
4 papers · 1 filter
Modular Verification of Recursive Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
We argue that verification of recursive programs by means of the assertional method of C.A.R. Hoare can be conceptually simplified using a modular reasoning. In this approach some…
Common Knowledge in Interaction Structures
Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper
We consider two simple variants of a framework for reasoning about knowledge amongst communicating groups of players. Our goal is to clarify the resulting epistemic issues. In part…
Branching Bisimilarity with Explicit Divergence
Rob van Glabbeek, Bas Luttik, Nikola Trcka
We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original definitio…
On Finite Bases for Weak Semantics: Failures versus Impossible Futures
Taolue Chen, Wan Fokkink, Rob van Glabbeek
We provide a finite basis for the (in)equational theory of the process algebra BCCS modulo the weak failures preorder and equivalence. We also give positive and negative results re…