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
From MaRDI portal
Publication:5220397
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 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 21st international workshop on expressiveness in concurrency and 11th workshop on structural operational semantics, EXPRESS/SOS 2014, Rome, Italy, September 1, 2014
- 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
(12)- Proceedings of the combined 21st international workshop on expressiveness in concurrency and 11th workshop on structural operational semantics, EXPRESS/SOS 2014, Rome, Italy, September 1, 2014
- 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 26th international workshop on expressiveness in concurrency and 16th workshop on structural operational semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, August 26, 2019
- Combined 19th international workshop on expressiveness in concurrency and 9th workshop on structured operational semantics, Newcastle upon Tyne, UK, September 3, 2012. Proceedings
- 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 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
- 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23--26, 2016. Proceedings
- Proceedings of the sixth workshop on mathematically structured functional programming, MSFP 2016, Eindhoven, Netherlands, April 8, 2016
- 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 17th international workshop on expressiveness in concurrency, EXPRESS'10, Paris, France, August 30, 2010
- scientific article; zbMATH DE number 7080541 (Why is no real title available?)
- 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
This page was built for publication: 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5220397)
