Proceedings of the 18th international workshop on expressiveness in concurrency, EXPRESS'11, Aachen, Germany, September 5, 2011

DOI10.4204/EPTCS.64MaRDI QIDQ4968486zbMATH OpenOpenAlexFDO

Authors

Publication date 12 July 2019

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1108.4077, http://eptcs.web.cse.unsw.edu.au/content.cgi?EXPRESS2011

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Abstract: This volume contains the proceedings of the 18th International Workshop on Expressiveness in Concurrency (EXPRESS 2011), which took place on 5th September 2011 in Aachen, as a satellite workshop of CONCUR 2011. The EXPRESS workshop series aim at bringing together researchers who are interested in the expressiveness and comparison of formal models that broadly relate to concurrency. In particular, this also includes emergent fields such as logic and interaction, game-theoretic models, and service-oriented computing.

Recommendations

• Proceedings of the 17th international workshop on expressiveness in concurrency, EXPRESS'10, Paris, France, August 30, 2010
• Proceedings of the 16th international workshop on expressiveness in concurrency, EXPRESS'09, Bologna, Italy, September 5, 2009
• Combined 19th international workshop on expressiveness in concurrency and 9th workshop on structured operational semantics, Newcastle upon Tyne, UK, September 3, 2012. Proceedings
• Proceedings of the combined 28th international workshop on expressiveness in concurrency and the 18th workshop on structural operational semantics, EXPRESS/SOS, Paris, France, online event, August 23, 2021
• Proceedings of the combined 24th international workshop on expressiveness in concurrency and 14th workshop on structural operational semantics, EXPRESS/SOS 2017, Berlin, Germany, September 4, 2017

Cited in

(7)

• Preface to special issue: EXPRESS 2011
• Combined 19th international workshop on expressiveness in concurrency and 9th workshop on structured operational semantics, Newcastle upon Tyne, UK, September 3, 2012. Proceedings
• Proceedings of the 10th international workshop on expressiveness in concurrency (EXPRESS'03), Marseille, France, September 2, 2003
• Proceedings of the 13th international workshop on expressiveness in concurrency (EXPRESS 2006), Bonn, Germany, August 26, 2006
• EXPRESS '98. 5th international workshop on Expressiveness in concurrency, Nice, France, September 7, 1998
• Proceedings of the 16th international workshop on expressiveness in concurrency, EXPRESS'09, Bologna, Italy, September 5, 2009
• Proceedings of the 17th international workshop on expressiveness in concurrency, EXPRESS'10, Paris, France, August 30, 2010

This page was built for publication: Proceedings of the 18th international workshop on expressiveness in concurrency, EXPRESS'11, Aachen, Germany, September 5, 2011

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