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.322MaRDI QIDQ4994113zbMATH OpenFDO

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, http://eptcs.web.cse.unsw.edu.au/content.cgi?EXPRESSSOS2020

Mathematics Subject Classification ID

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)

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

Cited in

(3)

• scientific article; zbMATH DE number 7080541 (Why is no real title available?)
• 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)