scientific article; zbMATH DE number 6793813

DOI10.4230/LIPICS.CONCUR.2017.0MaRDI QIDQ5370472zbMATH OpenFDO

Authors

Publication date 19 October 2017

Full work available at URL http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16046

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(5)

• Concurrency '88. International conference on concurrency, Hamburg, FRG, October 18-19, 1988. Proceedings
• CONCUR '93. 4th international conference on concurrency theory, Hildesheim, Germany, August 23--26, 1993. Proceedings
• CONCUR 2013 -- concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27--30, 2013. Proceedings
• 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23--26, 2016. Proceedings
• CONCUR 2012 -- concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4--7, 2012. Proceedings

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5370472)