×

Found 7 Documents (Results 1–7)

A new strategy for distributed compensations with interruption in long-running transactions. (English) Zbl 1312.68126

Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 42-60 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Tiles for Reo. (English) Zbl 1253.68090

Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 37-55 (2009).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI Link

PRISMA: a mobile calculus with parametric synchronization. (English) Zbl 1211.68025

Montanari, Ugo (ed.) et al., Trustworthy global computing. Second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-75333-9/pbk). Lecture Notes in Computer Science 4661, 132-149 (2007).
MSC:  68M14 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Complete axioms for stateless connectors. (English) Zbl 1151.68511

Fiadeiro, José Luiz (ed.) et al., Algebra and coalgebra in computer science. First international conference, CALCO 2005, Swansea, UK, September 3–6, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28620-9/pbk). Lecture Notes in Computer Science 3629, 98-113 (2005).
MSC:  68Q85 68M14 68Q55
PDFBibTeX XMLCite
Full Text: DOI

New insights of architectural connectors. (English) Zbl 1094.68009

Levy, Jean-Jacques (ed.) et al., Exploring new frontiers of theoretical informatics. IFIP 18th world computer congress, TC1 3rd international conference on theoretical computer science (TCS2004), 22–27 August 2004, Toulouse, France. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-8140-5/hbk). IFIP, International Federation for Information Processing 155, 367-379 (2004).
MSC:  68M14
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software