Special issue: 20th international conference on concurrency theory (CONCUR 2009). Selected papers based on the presentations at the conference, Bologna, Italia, September 1--4, 2009

Author name not available (Why is that?)

Publication date: 6 April 2011

Published in: Information and Computation (Search for Journal in Brave)

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

This page was built for publication: Special issue: 20th international conference on concurrency theory (CONCUR 2009). Selected papers based on the presentations at the conference, Bologna, Italia, September 1--4, 2009

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