A. Basu, P. Bidinger, M. Bozga, and J. Sifakis, Distributed Semantics and Implementation for Systems with Interaction and Priority, 2008.
DOI : 10.1007/978-3-540-30101-1_15
URL : https://hal.archives-ouvertes.fr/hal-00359261

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298

S. Bliudze and J. Sifakis, The Algebra of Connectors—Structuring Interaction in BIP, EmSoft, pp.11-20, 2007.
DOI : 10.1109/TC.2008.26

K. , M. Chandy, and L. Lamport, Distributed snapshots: Determining global states of distributed systems, ACM Trans. Comput. Syst, vol.3, issue.1, pp.63-75, 1985.

J. Stephen, N. A. Garland, and . Lynch, The ioa language and toolset: Support for designing, analyzing, and building distributed systems, 1998.

G. Gößler and J. Sifakis, Priority Systems, In FMCO, vol.3, issue.1, pp.314-329, 2003.
DOI : 10.1145/353323.353382

R. Milner, Communication and concurrency, 1995.

M. Quinn, Designing efficient algorithms for parallel computers, 1986.