English
Related papers

Related papers: Proceedings 17th International Workshop on Express…

200 papers

This volume contains the proceedings of the 16th International Workshop on Expressiveness in Concurrency (EXPRESS'09), which took place on 5th September 2009 in Bologna, co-located with CONCUR'09. The EXPRESS workshop series aim at bringing…

Logic in Computer Science · Computer Science 2009-11-18 Sibylle Fröschle , Daniele Gorla

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…

Logic in Computer Science · Computer Science 2011-08-23 Bas Luttik , Frank Valencia

This volume contains the proceedings of the Combined 23nd International Workshop on Expressiveness in Concurrency and the 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016) which was held on 22 August 2016 in Qu\'ebec…

Logic in Computer Science · Computer Science 2016-08-10 Daniel Gebler , Kirstin Peters

This volume contains the proceedings of EXPRESS/SOS 2020: the Combined 27th International Workshop on Expressiveness in Concurrency and the 17th Workshop on Structural Operational Semantics, which was held online, as an affiliated workshop…

Logic in Computer Science · Computer Science 2020-08-31 Ornela Dardha , Jurriaan Rot

This volume contains the proceedings of the Combined 25th International Workshop on Expressiveness in Concurrency and the 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018), which was held on September 3, 2018, in Beijing,…

Logic in Computer Science · Computer Science 2018-08-27 Jorge A. Pérez , Simone Tini

This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 30th International Workshop on Expressiveness in Concurrency and the 20th Workshop on Structural Operational Semantics, which was held in Antwerp, Belgium, as an…

Logic in Computer Science · Computer Science 2023-09-13 Claudio Antares Mezzina , Georgiana Caltais

This volume contains the proceedings of the Combined 24th International Workshop on Expressiveness in Concurrency and the 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017) which was held on 04 September 2017 in Berlin,…

Logic in Computer Science · Computer Science 2017-09-04 Kirstin Peters , Simone Tini

This volume contains the proceedings of EXPRESS/SOS 2024: the Combined 31st International Workshop on Expressiveness in Concurrency and the 21st Workshop on Structural Operational Semantics, which was held in Calgary, Canada, as an…

Formal Languages and Automata Theory · Computer Science 2024-11-21 Georgiana Caltais , Cinzia Di Giusto

This volume contains the proceedings of the Combined 20th International Workshop on Expressiveness in Concurrency and the 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013) which was held on 26th August, 2013 in Buenos…

Programming Languages · Computer Science 2013-07-29 Johannes Borgström , Bas Luttik

This volume contains the proceedings of the Combined 21st International Workshop on Expressiveness in Concurrency and the 11th Workshop on Structural Operational Semantics (EXPRESS/SOS 2014) which was held on 1st September 2014 in Rome,…

Logic in Computer Science · Computer Science 2014-08-07 Johannes Borgström , Silvia Crafa

This volume contains the proceedings of EXPRESS/SOS 2021: the Combined 28th International Workshop on Expressiveness in Concurrency and the 18th Workshop on Structural Operational Semantics, which was held online, as an affiliated workshop…

Logic in Computer Science · Computer Science 2021-08-24 Ornela Dardha , Valentina Castiglioni

This volume contains the proceedings of the Combined 22nd International Workshop on Expressiveness in Concurrency and the 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015) which was held on 31 August 2015 in Madrid,…

Logic in Computer Science · Computer Science 2015-08-27 Silvia Crafa , Daniel E. Gebler

This volume contains the proceedings of EXPRESS/SOS 2019: the Combined 26th International Workshop on Expressiveness in Concurrency and the 16th Workshop on Structural Operational Semantics, which was held on August 26, 2019, in Amsterdam…

Logic in Computer Science · Computer Science 2019-08-23 Jorge A. Pérez , Jurriaan Rot

This volume contains the proceedings of the Combined 19th International Workshop on Expressiveness in Concurrency and the 9th Workshop on Structural Operational Semantics (EXPRESS/SOS 2012), which took place on 3rd September 2012 in…

Logic in Computer Science · Computer Science 2012-08-14 Bas Luttik , Michel A. Reniers

This volume contains the proceedings of EXPRESS/SOS 2022: the Combined 29th International Workshop on Expressiveness in Concurrency and the 19th Workshop on Structural Operational Semantics, which was held in Warsaw, Poland, as an…

Logic in Computer Science · Computer Science 2022-09-01 Valentina Castiglioni , Claudio A. Mezzina

This volume contains the proceedings of the 8th Workshop on Security Issues in Concurrency (SecCo 2010). The workshop was held in Paris, France on August 30th, 2010, as a satellite workshop of CONCUR'10. The aim of the SecCo workshop series…

Cryptography and Security · Computer Science 2011-02-28 Konstantinos Chatzikokolakis , Véronique Cortier

This volume contains the proceedings of EXPRESS/SOS 2025: the Combined 32nd International Workshop on Expressiveness in Concurrency and the 22nd Workshop on Structural Operational Semantics, which was held in Aarhus, Denmark, as an…

Logic in Computer Science · Computer Science 2025-10-28 Cinzia Di Giusto , Giorgio Bacci

This volume contains the proceedings of the International Workshop on Developments in Implicit Computational complExity (DICE 2010), which took place on March 27-28 2010 in Paphos, Cyprus, as a satellite event of the Joint European…

Logic in Computer Science · Computer Science 2010-05-20 Patrick Baillot

This volume contains the proceedings of FOCLASA 2010, the 9th International Workshop on the Foundations of Coordination Languages and Software Architectures. FOCLASA 2010 was held in Paris, France on July 30th, 2010 as a satellite event of…

Software Engineering · Computer Science 2010-07-29 MohammadReza Mousavi , Gwen Salaün

This is the proceedings of PLACES'10, the 3rd Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, held in Pathos, Cyprus, on 21st Mach, 2010, co-located with the ETAPS federated conferences. PLACES…

Programming Languages · Computer Science 2011-10-19 Kohei Honda , Alan Mycroft
‹ Prev 1 2 3 10 Next ›