scientific article; zbMATH DE number 1487605

zbMATH Open0961.68511MaRDI QIDQ4494076FDOQ4494076

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

Publication date: 10 August 2000

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 2080836
• scientific article; zbMATH DE number 2219360
• scientific article; zbMATH DE number 1859737
• scientific article; zbMATH DE number 1966257
• scientific article; zbMATH DE number 1630090

zbMATH Keywords

extended communication protocolsJava remote objects

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (5)

• Compositional reasoning about active objects with shared futures
• As-if-serial exception handling semantics for Java futures
• Title not available (Why is that?)
• A sound and complete reasoning system for asynchronous communication with shared futures
• Title not available (Why is that?)

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)