1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…