ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 17:30 - 18:00 at S7 - Session IV

We investigate equational characterizations of bisimulation and trace metaequivalences defined on the ULTraS metamodel. This yields general axiomatizations encompassing those appeared in the literature, as well as new ones, for bisimulation and trace equivalences defined on specific classes of processes. The results are provided incrementally, by starting with the core axioms and then singling out additional axioms for bisimulation post- and pre-metaequivalences on the one hand, and different additional axioms for trace post- and pre-metaequivalences on the other hand. The various axioms highlight the fundamental differences in the discriminating power of the four metaequivalences, regardless of specific classes of processes.

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00
Session IVQAPL at S7
16:00
30m
Talk
Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs
QAPL
Kevin Batz RWTH Aachen University, Benjamin Lucien Kaminski RWTH Aachen University; University College London, Joost-Pieter Katoen RWTH Aachen University, Christoph Matheja RWTH Aachen University, Thomas Noll RWTH Aachen University
DOI
16:30
30m
Talk
An Adequate Semantics for Hybrid While
QAPL
Sergey Goncharov FAU Erlangen-Nürnberg, Lehrstuhl 8, Renato Neves University of Minho & INESC TEC
17:00
30m
Talk
Recent Applications and Quantitative Aspects of Spatial Model Checking
QAPL
17:30
30m
Talk
Equational Characterization Metaresults for Bisimulation and Trace Semantics in ULTraS
QAPL
Marco Bernardo University of Urbino