11 citations · 42 across the 11 of their papers we have counts for
11 papers
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
Rob van Glabbeek, Jan Friso Groote, Erik de Vink
This paper proposes a notion of branching bisimilarity for non-deterministic probabilistic processes. In order to characterize the corresponding notion of rooted branching probabil…
On Bisimilarities for Closure Spaces - Preliminary Version
Vincenzo Ciancia, Diego Latella, Mieke Massink Erik de Vink
Closure spaces are a generalisation of topological spaces obtained by removing the idempotence requirement on the closure operator. We adapt the standard notion of bisimilarity for…
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations
Vincenzo Ciancia, Diego Latella, Mieke Massink +1
The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to mo…
Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems
Herbert Wiklicky, Erik de Vink
This volume of the EPTCS contains the proceedings of the 15th international workshop on Qualitative Aspects of Programming Languages and Systems, QAPL 2017, held at April 23, 2017…
Towards a Feature mu-Calculus Targeting SPL Verification
Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
The modal mu-calculus mu-L is a well-known fixpoint logic to express and model check properties interpreted over labeled transition systems. In this paper, we propose two variants…
Coherent branching feature bisimulation
Tessa Belder, Maurice H. ter Beek, Erik P. de Vink
Progress in the behavioral analysis of software product lines at the family level benefits from further development of the underlying semantical theory. Here, we propose a behavior…