


default search action
International Workshop on Expressiveness in Concurrency (EXPRESS)
31st EXPRESS / 21st SOS 2024: Calgary, Canada
- Georgiana Caltais, Cinzia Di Giusto:

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics, EXPRESS/SOS 2024, and 21st Workshop on Structural Operational SemanticsCalgary, Canada, 9th September 2024. EPTCS 412, 2024 [contents]
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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














