References

1. Massimo Bartoletti, Alceste Scalas, Emilio Tuosto & Roberto Zunino (2013): Honesty by Typing. In: FMOODS/FORTE, pp. 305–320. Available at http://dx.doi.org/10.1007/978-3-642-38592-6_21.
2. Massimo Bartoletti, Emilio Tuosto & Roberto Zunino (2012): On the Realizability of Contracts in Dishonest Systems. In: COORDINATION, pp. 245–260. Available at http://dx.doi.org/10.1007/978-3-642-30829-1_17.
3. Davide Basile, Pierpaolo Degano & Gian Luigi Ferrari (2014): Automata for Service Contracts. In: TGC. To appear in TGC 2014.
4. Daniel Brand & Pitro Zafiropulo (1983): On Communicating Finite-State Machines. JACM 30(2), pp. 323–342. Available at http://doi.acm.org/10.1145/322374.322380.
5. Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi & Gianluigi Zavattaro (2006): Choreography and Orchestration Conformance for System Design. In: Paolo Ciancarini & Herbert Wiklicky: Coordination Models and Languages, Lecture Notes in Computer Science 4038. Springer Berlin Heidelberg, pp. 63–81. Available at http://dx.doi.org/10.1007/11767954_5.
6. Christos G. Cassandras & Stephane Lafortune (2006): Introduction to Discrete Event Systems. Springer-Verlag New York, Inc., Secaucus, NJ, USA.
7. Gérard Cécé & Alain Finkel (2005): Verification of programs with half-duplex communication. I&C 202(2), pp. 166–190. Available at http://dx.doi.org/10.1016/j.ic.2005.05.006.
8. Pierre-Malo Deniélou & Nobuko Yoshida (2012): Multiparty Session Types Meet Communicating Automata. In: ESOP, pp. 194–213. Available at http://dx.doi.org/10.1007/978-3-642-28869-2_10.
9. Chris Peltz (2003): Web services orchestration and choreography. Computer 36(10), pp. 46–52. Available at http://doi.ieeecomputersociety.org/10.1109/MC.2003.1236471.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org