@inproceedings{BBB+08,
title = {Distributed Semantics and Implementation for Systems with Interaction and Priority },
author = {Basu, Ananda and Bidinger, Philippe and Bozga, Marius and Sifakis, Joseph},
year = {2008},
booktitle = {Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings},
pages = {116-133},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5048},
team = {DCS, RSD},
}
