Abstract Interface Behavior of Object-Oriented Languages with Monitors

DOI10.1007/11768869_17zbMath1461.68051OpenAlexW154188182MaRDI QIDQ4989491

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

Publication date: 25 May 2021

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

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

zbMATH Keywords

formal semanticsOO languagesopen systemsobservable behaviormonitorsthread-based concurrency

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Related Items (1)

Behavioral interface description of an object-oriented language with futures and promises

This page was built for publication: Abstract Interface Behavior of Object-Oriented Languages with Monitors