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

MaRDI QIDQ1769770zbMATHFDO

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)

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

Describes a project that uses

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)