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