6 citations · 14 across the 10 of their papers we have counts for
1 paper · 2 filters
Étienne André, Swen Jacobs, Engel Lefaucheux
We consider distributed systems with an arbitrary number of processes, modelled by timed automata that communicate through location guards: a process can take a guarded transition…