scientific article; zbMATH DE number 1487605

MaRDI QIDQ4494076zbMATH OpenFDO

Authors Katrina E. Falkner, Paul Coddington, Michael J. Oudshoorn

Publication date 10 August 2000

zbMATH Keywords

extended communication protocolsJava remote objects

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited in

(5)

• A sound and complete reasoning system for asynchronous communication with shared futures
• Compositional reasoning about active objects with shared futures
• As-if-serial exception handling semantics for Java futures
• scientific article; zbMATH DE number 1859737 (Why is no real title available?)
• scientific article; zbMATH DE number 2080836 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4494076)