Bliudze, Simon; Bruni, Roberto; Carbone, Marco; Silva, Alexandru Towards interaction reliability in concurrent applications. (English) Zbl 1424.68100 Sci. Ann. Comput. Sci. 22, No. 1, 1-4 (2012). MSC: 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 68Q55 Semantics in the theory of computing Keywords:interactive systems; coordination; game semantics; reactive contexts; contracts; multi-party choreographies PDFBibTeX XMLCite \textit{S. Bliudze} et al., Sci. Ann. Comput. Sci. 22, No. 1, 1--4 (2012; Zbl 1424.68100)