CONCUR 2004 -- concurrency theory. 15th international conference, London, UK, August 31 -- September 3, 2004. Proceedings.

zbMATH Open1058.68006MaRDI QIDQ1769770FDOQ1769770

Authors:

Publication date: 23 March 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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 (6)

• Resource separation in dynamic logic of propositional assignments
• CONCUR 2012 -- concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4--7, 2012. Proceedings
• CONCUR '95: Concurrency theory. 6th international conference, Philadelphia, PA, USA, August 21--24, 1995. Proceedings
• CONCUR 2003 -- concurrency theory. 14th international conference, Marseille, France, September 3--5, 2003. Proceedings
• Logic in India -- editorial introduction
• CONCUR 2013 -- concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27--30, 2013. Proceedings

Uses Software

• Bebop
• dSPIN

This page was built for publication: CONCUR 2004 -- concurrency theory. 15th international conference, London, UK, August 31 -- September 3, 2004. Proceedings.

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