Proceedings of the combined 27th international workshop on expressiveness in concurrency and the 17th workshop on structural operational semantics, EXPRESS/SOS 2020, online, August 31, 2020
DOI10.4204/EPTCS.322zbMATH Open1466.68010arXiv2008.12414MaRDI QIDQ4994113FDOQ4994113
Authors:
Publication date: 16 June 2021
Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2008.12414
Recommendations
- Proceedings of the combined 26th international workshop on expressiveness in concurrency and 16th workshop on structural operational semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, August 26, 2019
- 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
- Proceedings of the combined 23rd international workshop on expressiveness in concurrency and 13th workshop on structural operational semantics, EXPRESS/SOS 2016, Québec City, Canada, August 22, 2016
- Proceedings of the combined 22nd international workshop on expressiveness in concurrency and 12th workshop on structural operational semantics, EXPRESS/SOS 2015, Madrid, Spain, August 31, 2015
- Proceedings of the combined 25th international workshop on expressiveness in concurrency and 15th workshop on structural operational semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (3)
- Title not available (Why is that?)
- 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 3rd workshop on structural operational semantics (SOS 2006), Bonn, Germany, August 26, 2006.
This page was built for publication: Proceedings of the combined 27th international workshop on expressiveness in concurrency and the 17th workshop on structural operational semantics, EXPRESS/SOS 2020, online, August 31, 2020
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4994113)
