12 citations · 88 across the 34 of their papers we have counts for
3 papers · 1 filter
On the Axiomatisation of Branching Bisimulation Congruence over CCS
Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir +1
In this paper we investigate the equational theory of (the restriction, relabelling, and recursion free fragment of) CCS modulo rooted branching bisimilarity, which is a classic, b…
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems
Clemens Dubslaff, Bas Luttik
This volume contains the proceedings of MARS 2022, the fifth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2022, the European Joint Conferences on T…
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
Jos C. M. Baeten, Cesare Carissimo, Bas Luttik
The Turing machine models an old-fashioned computer, that does not interact with the user or with other computers, and only does batch processing. Therefore, we came up with a Reac…