28 citations · 35 across the 5 of their papers we have counts for
5 papers
Modal Interface Automata
Gerald Lüttgen, Walter Vogler
De Alfaro and Henzinger's Interface Automata (IA) and Nyman et al.'s recent combination IOMTS of IA and Larsen's Modal Transition Systems (MTS) are established frameworks for speci…
Read Operators and their Expressiveness in Process Algebras
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
We study two different ways to enhance PAFAS, a process algebra for modelling asynchronous timed concurrent systems, with non-blocking reading actions. We first add reading in the…
Automated Analysis of MUTEX Algorithms with FASE
Federico Buti, Massimo Callisto De Donato, Flavio Corradini +2
In this paper we study the liveness of several MUTEX solutions by representing them as processes in PAFAS s, a CCS-like process algebra with a specific operator for modelling non-b…
Evaluating the Efficiency of Asynchronous Systems with FASE
Federico Buti, Massimo Callisto De Donato, Flavio Corradini +2
In this paper, we present FASE (Faster Asynchronous Systems Evaluation), a tool for evaluating the worst-case efficiency of asynchronous systems. The tool is based on some well-est…
Robustness of a bisimulation-type faster-than preorder
Katrin Iltgen, Walter Vogler
TACS is an extension of CCS where upper time bounds for delays can be specified. Luettgen and Vogler defined three variants of bismulation-type faster-than relations and showed tha…