Special issue: Quantitative aspects of programming languages (QAPL 2010). Selected papers based on the presentations at the 8th workshop, Paphos, Cyprus, March 27--28, 2010.
zbMATH Open1254.68024MaRDI QIDQ654860FDOQ654860
Authors:
Publication date: 23 December 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Theory of programming languages (68N15) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (1)
This page was built for publication: Special issue: Quantitative aspects of programming languages (QAPL 2010). Selected papers based on the presentations at the 8th workshop, Paphos, Cyprus, March 27--28, 2010.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q654860)
