Jongmans, Sung-Shik T. Q.; Arbab, Farhad Overview of thirty semantic formalisms for Reo. (English) Zbl 1424.68105 Sci. Ann. Comput. Sci. 22, No. 1, 201-251 (2012). MSC: 68Q85 68N30 68Q45 68Q55 PDFBibTeX XMLCite \textit{S.-S. T. Q. Jongmans} and \textit{F. Arbab}, Sci. Ann. Comput. Sci. 22, No. 1, 201--251 (2012; Zbl 1424.68105)
Hirschowitz, Tom; Pous, Damien Innocent strategies as presheaves and interactive equivalences for CCS. (English) Zbl 1424.68103 Sci. Ann. Comput. Sci. 22, No. 1, 147-199 (2012). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{T. Hirschowitz} and \textit{D. Pous}, Sci. Ann. Comput. Sci. 22, No. 1, 147--199 (2012; Zbl 1424.68103) Full Text: arXiv
Dorman, Andrei; Heindel, Tobias; König, Barbara Structured operational semantics for graph rewriting. (English) Zbl 1424.68081 Sci. Ann. Comput. Sci. 22, No. 1, 105-145 (2012). MSC: 68Q42 68Q55 68Q85 PDFBibTeX XMLCite \textit{A. Dorman} et al., Sci. Ann. Comput. Sci. 22, No. 1, 105--145 (2012; Zbl 1424.68081) Full Text: arXiv
Bartoletti, Massimo; Tuosto, Emilio; Zunino, Roberto Contract-oriented computing in CO\(_2\). (English) Zbl 1424.68097 Sci. Ann. Comput. Sci. 22, No. 1, 5-60 (2012). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Bartoletti} et al., Sci. Ann. Comput. Sci. 22, No. 1, 5--60 (2012; Zbl 1424.68097) Full Text: DOI
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 68Q55 PDFBibTeX XMLCite \textit{S. Bliudze} et al., Sci. Ann. Comput. Sci. 22, No. 1, 1--4 (2012; Zbl 1424.68100)