zbMATH — the first resource for mathematics

Abstract interface behavior of object-oriented languages with monitors. (English) Zbl 1461.68051
Gorrieri, Roberto (ed.) et al., Formal methods for open object-based distributed systems. 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14–16, 2006. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 4037, 218-232 (2006).
Summary: We characterize the observable behavior of multi-threaded, object-oriented programs with re-entrant monitors. The observable uncertainty at the interface is captured by may- and must-approximations for potential resp. necessary lock ownership. The concepts are formalized in an object calculus. We show the soundness of the abstractions.
For the entire collection see [Zbl 1460.68008].
68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68Q55 Semantics in the theory of computing
Full Text: DOI