Login / Signup
An Event-Based Structural Operational Semantics of Multi-Threaded Java.
Pietro Cenciarelli
Alexander Knapp
Bernhard Reus
Martin Wirsing
Published in:
Formal Syntax and Semantics of Java (1999)
Keyphrases
</>
multi threaded
operational semantics
java programs
formal semantics
information flow
multi core processors
operating system
computer architecture
mental states
multithreading
data model
coarse grained
real time
fine grained
artificial intelligence
database
parallel algorithm
source code