Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Workshop on Structural Operational Semantics (SOS)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

30th EXPRESS / 20th SOS 2023: Antwerp, Belgium

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-05788
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-05788
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

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-14777
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-14777
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]

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-09624
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-09624
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]

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-12414
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-12414
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

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-08213
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-08213
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

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1808-08071
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-08071
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

- view
- export record
  dblp key:
  - journals/corr/abs-1709-00049
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-00049
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

- view
  authority control:
- export record
  dblp key:
  - journals/corr/GeblerP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GeblerP16
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

- view
  authority control:
- export record
  dblp key:
  - journals/corr/CrafaG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CrafaG15
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

- view
  authority control:
- export record
  dblp key:
  - journals/corr/BorgstromC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BorgstromC14
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

- view
  authority control:
- export record
  dblp key:
  - journals/corr/BorgstromL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BorgstromL13
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

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-2440
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2440
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]

8th SOS 2011: Aachen, Germany

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-2796
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-2796
Michel A. Reniers, Pawel Sobocinski:
Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011. EPTCS 62, 2011 [contents]

7th SOS 2010: Paris, France

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1008-1906
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1008-1906
Luca Aceto, Pawel Sobocinski:
Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010. EPTCS 32, 2010 [contents]

6th SOS 2009: Bologna, Italy

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1002-2978
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-2978
Bartek Klin, Pawel Sobocinski:
Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009. EPTCS 18, 2009 [contents]

5th SOS@ICALP 2008: Reykjavik, Iceland

- view
- export record
  dblp key:
  - conf/sos/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sos/2008
Matthew Hennessy, Bartek Klin:
Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008. Electronic Notes in Theoretical Computer Science 229(4), Elsevier 2009 [contents]

4th SOS@LICS/ICALP 2007: Wroclaw, Poland

- view
- export record
  dblp key:
  - conf/sos/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sos/2007
Rob van Glabbeek, Matthew Hennessy:
Proceedings of the Fourth Workshop on Structural Operational Semantics, SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007. Electronic Notes in Theoretical Computer Science 192(1), Elsevier 2007 [contents]

3rd SOS@CONCUR 2006: Bonn, Germany

- view
- export record
  dblp key:
  - conf/sos/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sos/2006
Rob van Glabbeek, Peter D. Mosses:
Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006. Electronic Notes in Theoretical Computer Science 175(1), Elsevier 2007 [contents]

2nd SOS@ICALP 2005: Lisbon, Portugal

- view
- export record
  dblp key:
  - conf/sos/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sos/2005
Peter D. Mosses, Irek Ulidowski:
Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005. Electronic Notes in Theoretical Computer Science 156(1), Elsevier 2006 [contents]

1st SOS@CONCUR 2004: London, UK

- view
- export record
  dblp key:
  - conf/sos/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sos/2004
Luca Aceto, Wan J. Fokkink, Irek Ulidowski:
Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 128(1), Elsevier 2005 [contents]

a service of

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.