Distributed Semantics and Implementation for Systems with Interaction and Priority.

Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis

Browse the full FORTE paper archive.