default search action
International Workshop on Expressiveness in Concurrency (EXPRESS)
30th EXPRESS / 20th SOS 2023: Antwerp, Belgium
- Claudio Antares Mezzina, Georgiana Caltais:
Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023. EPTCS 387, 2023 [contents]
29th EXPRESS / 19th SOS 2022: Warsaw, Poland
- Valentina Castiglioni, Claudio Antares Mezzina:
Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022. EPTCS 368, 2022 [contents]
28th EXPRESS / 18th SOS 2021: Paris, France [virtual]
- Ornela Dardha, Valentina Castiglioni:
Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021, and 18th Workshop on Structural Operational SemanticsParis, France (online event), 23rd August 2021. EPTCS 339, 2021 [contents]
27th EXPRESS / 17th SOS 2020 [virtual]
- Ornela Dardha, Jurriaan Rot:
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020. EPTCS 322, 2020 [contents]
26th EXPRESS / 16th SOS 2019: Amsterdam, The Netherlands
- Jorge A. Pérez, Jurriaan Rot:
Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, 26th August 2019. EPTCS 300, 2019 [contents]
25th EXPRESS / 15th SOS 2018: Beijing, China
- Jorge A. Pérez, Simone Tini:
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. EPTCS 276, 2018 [contents]
24th EXPRESS / 14th SOS 2017: Berlin, Germany
- Kirstin Peters, Simone Tini:
Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017. EPTCS 255, 2017 [contents]
23rd EXPRESS / 13th SOS 2016: Québec, Canada
- Daniel Gebler, Kirstin Peters:
Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016, Québec City, Canada, 22nd August 2016. EPTCS 222, 2016 [contents]
22nd EXPRESS / 12th SOS 2015: Madrid, Spain
- Silvia Crafa, Daniel Gebler:
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015. EPTCS 190, 2015 [contents]
21st EXPRESS / 11th SOS 2014: Rome, Italy
- Johannes Borgström, Silvia Crafa:
Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014. EPTCS 160, 2014 [contents]
20th EXPRESS / 10th SOS 2013: Buenos Aires, Argentina
- Johannes Borgström, Bas Luttik:
Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013. EPTCS 120, 2013 [contents]
19th EXPRESS / 9th SOS 2012: Newcastle upon Tyne, UK
- Bas Luttik, Michel A. Reniers:
Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012. EPTCS 89, 2012 [contents]
18th EXPRESS 2011: Aachen, Germany
- Bas Luttik, Frank Valencia:
Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011. EPTCS 64, 2011 [contents]
17th EXPRESS 2010: Paris, France
- Sibylle B. Fröschle, Frank D. Valencia:
Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010. EPTCS 41, 2010 [contents]
16th EXPRESS 2009: Bologna, Italy
- Sibylle B. Fröschle, Daniele Gorla:
Proceedings 16th International Workshop on Expressiveness in Concurrency, EXPRESS 2009, Bologna, Italy, 5th September 2009. EPTCS 8, 2009 [contents]
15th EXPRESS 2008: Toronto, ON, Canada
- Thomas T. Hildebrandt, Daniele Gorla:
Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008. Electronic Notes in Theoretical Computer Science 242(1), Elsevier 2009 [contents]
14th EXPRESS 2007: Lisbon, Portugal
- Roberto M. Amadio, Thomas T. Hildebrandt:
Proceedings of the 14th International Workshop on Expressiveness in Concurrency, EXPRESS 2007, Lisbon, Portugal, September 3, 2007. Electronic Notes in Theoretical Computer Science 194(2), Elsevier 2008 [contents]
13th EXPRESS 2006: Bonn, Germany
- Roberto M. Amadio, Iain Phillips:
Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006. Electronic Notes in Theoretical Computer Science 175(3), Elsevier 2007 [contents]
12th EXPRESS 2005: San Francisco, CA, USA
- Jos C. M. Baeten, Iain C. C. Phillips:
Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 154(3), Elsevier 2006 [contents]
11th EXPRESS 2004: London, UK
- Jos C. M. Baeten, Flavio Corradini:
Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 128(2), Elsevier 2005 [contents]
10th EXPRESS 2003: Marseille, France
- Flavio Corradini, Uwe Nestmann:
Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003. Electronic Notes in Theoretical Computer Science 96, Elsevier 2004 [contents]
9th EXPRESS 2002: Brno, Czech Republic
- Uwe Nestmann, Prakash Panangaden:
9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002. Electronic Notes in Theoretical Computer Science 68(2), Elsevier 2002 [contents]
8th EXPRESS 2001: Aalborg, Denmark
- Luca Aceto, Prakash Panangaden:
8th International Workshop on Expressiveness in Concurrency, EXPRESS 2001, Satellite Workshop from CONCUR 2001, Aalborg, Denmark, August 20, 2001. Electronic Notes in Theoretical Computer Science 52(1), Elsevier 2002 [contents]
7th EXPRESS 2000: State College, PA, USA
- Luca Aceto, Björn Victor:
7th International Workshop on Expressiveness in Concurrency, EXPRESS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000. Electronic Notes in Theoretical Computer Science 39(1), Elsevier 2003 [contents]
6th EXPRESS 1999: Eindhoven, The Netherlands
- Ilaria Castellani, Björn Victor:
6th International Workshop on Expressiveness in Concurrency, EXPRESS 1999, Eindhoven, The Netherlands, August 23, 1999. Electronic Notes in Theoretical Computer Science 27, Elsevier 1999 [contents]
5th EXPRESS 1998: Nice, France
- Ilaria Castellani, Catuscia Palamidessi:
Fifth International Workshop on Expressiveness in Concurrency, EXPRESS 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998. Electronic Notes in Theoretical Computer Science 16(2), Elsevier 1998 [contents]
4th EXPRESS 1997: Santa Margherita Ligure, Italy
- Catuscia Palamidessi, Joachim Parrow:
International Workshop on Expressiveness in Concurrency, EXPRESS 1997, Santa Margherita Ligure, Italy, September 8-12, 1997. Electronic Notes in Theoretical Computer Science 7, Elsevier 1997 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.