From sequential to multi-threaded Java: An event-based operational semantics

Publisher Website

1 January 1997

book chapter
Published by Springer Nature

p. 75-90
https://doi.org/10.1007/bfb0000464

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

The Definition of Standard ML
Published by MIT Press ,1997
An operational semantics of multitasking and exception handling in Ada
Published by Association for Computing Machinery (ACM) ,1982