Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. The concurrency model includes sharedvariable concurrency via instance variables, coordination via reentrant synchronization monitors, synchronous message passing, and dynamic thread creation. In this paper we propose a class-based compositional operational semantics for multithreaded Java which provides a semantic characterization and a formal basis for further semantic investigations involving inheritance, subtyping, and full abstraction, and a compositional proof system. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Abraham, E., De Boer, F. S., De Roever, W. P., & Steffen, M. (2004). A compositional operational semantics for JavaMT. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2772, 290–303. https://doi.org/10.1007/978-3-540-39910-0_13
Mendeley helps you to discover research relevant for your work.