Theoretical Aspects of Computing - ICTAC 2004

DOI10.1007/B107116zbMath1108.68538OpenAlexW2493490011MaRDI QIDQ5710002

Martin Steffen, Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer

Publication date: 30 November 2005

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

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

zbMATH Keywords

formal semanticsmultithreadingfull abstractionclass-based object-oriented languages

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Abstract interface behavior of object-oriented languages with monitors ⋮ Full Abstraction at Package Boundaries of Object-Oriented Languages

This page was built for publication: Theoretical Aspects of Computing - ICTAC 2004