Logical Approaches to Computational Barriers

DOI10.1007/11780342zbMath1145.68380DBLPconf/cie/2006OpenAlexW4255986326WikidataQ55968647 ScholiaQ55968647MaRDI QIDQ5898797

Andreas Grüner, Erika Ábrahám, Martin Steffen

Publication date: 30 April 2007

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

Full work available at URL: https://doi.org/10.1007/11780342

zbMATH Keywords

formal semanticsopen systemsheap abstractionobservable behaviorthread-based concurrencyclass-based oo languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Logical Approaches to Computational Barriers