Abstract interface behavior of object-oriented languages with monitors

DOI10.1007/s00224-007-9047-0zbMath1162.68475OpenAlexW2031330717MaRDI QIDQ1015384

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

Publication date: 8 May 2009

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00002953/tr-0612-bericht.pdf

zbMATH Keywords

formal semanticsopen systemsmonitorsobject oriented languagesobservable interface behaviorthread-based concurrency

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (3)

Behavioral interface description of an object-oriented language with futures and promises ⋮ Observable interface behaviour and inheritance ⋮ A Representation-Independent Behavioral Semantics for Object-Oriented Components

Uses Software

• Z
• Java Jr

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A fully abstract may testing semantics for concurrent objects
• Issues in the design of a parallel object-oriented language
• Specification-oriented semantics for communicating processes
• LCF considered as a programming language
• Fully abstract models of typed \(\lambda\)-calculi
• Testing equivalences for processes
• Monitors
• Programming Languages and Systems
• A Representation-Independent Behavioral Semantics for Object-Oriented Components
• Theoretical Aspects of Computing - ICTAC 2004
• Formal Methods for Components and Objects
• Programming Languages and Systems

This page was built for publication: Abstract interface behavior of object-oriented languages with monitors