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

DOI10.4204/EPTCS.64zbMATH Open1415.68035arXiv1108.4077OpenAlexW1895984500MaRDI QIDQ4968486FDOQ4968486

Authors:

Publication date: 12 July 2019

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

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.

Full work available at URL: https://arxiv.org/abs/1108.4077

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

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)

Cited In (7)

• 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
• Preface to special issue: EXPRESS 2011
• 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
• Combined 19th international workshop on expressiveness in concurrency and 9th workshop on structured operational semantics, Newcastle upon Tyne, UK, September 3, 2012. Proceedings

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)