Coordination models and languages. 9th international conference, COORDINATION 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings

DOI10.1007/978-3-540-72794-1MaRDI QIDQ1025409zbMATH OpenOpenAlexFDO

Authors

Publication date 18 June 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72794-1

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computer system organization (68Mxx) Theory of software (68Nxx)

Cited in

(9)

• Fully abstract models and refinements as tools to compare agents in timed coordination languages
• Coordination models and languages. 7th international conference, COORDINATION 2005, Namur, Belgium, April 20--23, 2005. Proceedings
• Connector rewriting with high-level replacement systems
• Coordination models and languages. 14th international conference, COORDINATION 2012, Stockholm, Sweden, June 14--15, 2012. Proceedings
• Synthesis of Reo circuits from scenario-based specifications
• Coordination models and languages. 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6--9, 2011. Proceedings
• Behavioral interface description of an object-oriented language with futures and promises
• Coordination models and languages. 10th international conference, COORDINATION 2008, Oslo, Norway, June 4--6, 2008. Proceedings
• Coordination models and languages. 12th international conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7--9, 2010. Proceedings

This page was built for publication: Coordination models and languages. 9th international conference, COORDINATION 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1025409)