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
DOI10.4204/EPTCS.222zbMATH Open1433.68016arXiv1608.02692MaRDI QIDQ5220397FDOQ5220397
Authors:
Publication date: 20 March 2020
Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1608.02692
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
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 (12)
- Proceedings of the 17th international workshop on expressiveness in concurrency, EXPRESS'10, Paris, France, August 30, 2010
- Title not available (Why is that?)
- 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 27th international workshop on expressiveness in concurrency and the 17th workshop on structural operational semantics, EXPRESS/SOS 2020, online, August 31, 2020
- 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
- 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
- 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 sixth workshop on mathematically structured functional programming, MSFP 2016, Eindhoven, Netherlands, April 8, 2016
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)
