scientific article; zbMATH DE number 1487605
From MaRDI portal
Publication:4494076
zbMath0961.68511MaRDI QIDQ4494076
Michael J. Oudshoorn, Katrina E. Falkner, P. D. Coddington
Publication date: 10 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Compositional reasoning about active objects with shared futures ⋮ A sound and complete reasoning system for asynchronous communication with shared futures ⋮ As-if-serial exception handling semantics for Java futures
This page was built for publication:
