A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, an, Fachbücher von And...

A Machine-checked, Type-safe Model Of Java Concurrency : Language,

Andreas Lochbihler | A Machine-checked, Type-safe Model Of Java

Serializable Coroutines for Java Virtual Machines, Fachbücher

Java and the Java Virtual Machine, Fachbücher von Joachim Schmid, Egon Börger, Robert F. Stärk

Robert F. Stärk (u. A.) | Java And The Java Virtual Machine |

Java Threads and the Concurrency Utilities, Fachbücher von Jeff Friesen

A Comparative Study of Programming Models for Concurrency, Fachbücher von Kaue Soares da Silveira

Concurrency, Graphs and Models, Fachbücher

Virtual Machine Support for Aspect-Oriented Programming Languages, Fachbücher von Michael Haupt

A mathematical model of a DC machine, Fachbücher

A Minimalist Model of Language Acquisition, Fachbücher

Aesthetic Experience and Language: A Model of Literary Criticism, Fachbücher

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation, Fachbücher von Joachim Breitner

Analyze Of Java Programming Language And Method Of Improvisations, Fachbücher von Tejinder Singh

Petri Nets and Other Models of Concurrency - ICATPN 2007, Fachbücher von Alex Yakovlev, Jetty Kleijn