Clarke, Dave; Helvensteijn, Michiel; Schaefer, Ina Abstract delta modelling. (English) Zbl 1361.68063 Math. Struct. Comput. Sci. 25, No. 3, 482-527 (2015). MSC: 68N30 PDFBibTeX XMLCite \textit{D. Clarke} et al., Math. Struct. Comput. Sci. 25, No. 3, 482--527 (2015; Zbl 1361.68063) Full Text: DOI
Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra A model of context-dependent component connectors. (English) Zbl 1243.68147 Sci. Comput. Program. 77, No. 6, 685-706 (2012). MSC: 68N30 68Q45 PDFBibTeX XMLCite \textit{M. Bonsangue} et al., Sci. Comput. Program. 77, No. 6, 685--706 (2012; Zbl 1243.68147) Full Text: DOI
Sergey, Ilya; Clarke, Dave A correspondence between type checking via reduction and type checking via evaluation. (English) Zbl 1233.68157 Inf. Process. Lett. 112, No. 1-2, 13-20 (2012). MSC: 68Q60 68N18 68Q55 PDFBibTeX XMLCite \textit{I. Sergey} and \textit{D. Clarke}, Inf. Process. Lett. 112, No. 1--2, 13--20 (2012; Zbl 1233.68157) Full Text: DOI Link
Clarke, Dave; Proença, José; Lazovik, Alexander; Arbab, Farhad Channel-based coordination via constraint satisfaction. (English) Zbl 1220.68049 Sci. Comput. Program. 76, No. 8, 681-710 (2011). MSC: 68N30 68N15 68Q85 PDFBibTeX XMLCite \textit{D. Clarke} et al., Sci. Comput. Program. 76, No. 8, 681--710 (2011; Zbl 1220.68049) Full Text: DOI
Clarke, Dave; Proença, José; Lazovik, Alexander; Arbab, Farhad Deconstructing image. (English) Zbl 1347.68077 Canal, Carlos (ed.) et al., Proceedings of the 7th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2008), Reykjavik, Iceland, July 13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 2, 43-58 (2009). MSC: 68N30 68M14 68Q60 68Q85 PDFBibTeX XMLCite \textit{D. Clarke} et al., Electron. Notes Theor. Comput. Sci. 229, No. 2, 43--58 (2009; Zbl 1347.68077) Full Text: DOI
Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo 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 \textit{F. Arbab} et al., Lect. Notes Comput. Sci. 5486, 37--55 (2009; Zbl 1253.68090) Full Text: DOI Link
Proença, José; Clarke, Dave Coordination models Orc and Reo compared. (English) Zbl 1277.68201 Canal, Carlos (ed.) et al., Proceedings of the 6th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2007), Lisbon, Portugal, September 8, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 4, 57-76 (2008). MSC: 68Q85 68N30 PDFBibTeX XMLCite \textit{J. Proença} and \textit{D. Clarke}, Electron. Notes Theor. Comput. Sci. 194, No. 4, 57--76 (2008; Zbl 1277.68201) Full Text: DOI
Clarke, Dave Coordination: Reo, nets, and logic. (English) Zbl 1209.68335 de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Berlin: Springer (ISBN 978-3-540-92187-5/pbk). Lecture Notes in Computer Science 5382, 226-256 (2008). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{D. Clarke}, Lect. Notes Comput. Sci. 5382, 226--256 (2008; Zbl 1209.68335) Full Text: DOI Link