Abstract interface behavior of object-oriented languages with monitors

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

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

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 semantics; open systems; monitors; object oriented languages; observable interface behavior; thread-based concurrency

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

Related Items

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

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