The Journal of Logic and Algebraic Programming
Volume 78, Issue 7, August–September 2009, Pages 491-518
Behavioral interface description of an object-oriented language with futures and promises☆
Under an Elsevier user license
open archive
Keywords
Concurrent object-oriented languages
Creol
Formal semantics
Concurrency
Futures and promises
Open systems
Observable behavior
Cited by (0)
- ☆
Part of this work has supported by the NWO/DFG Project Mobi-J (RO 1122/9-4) and by the EU-project IST-33826 Credo: Modeling and analysis of evolutionary structures for distributed services. For more information, see http://credo.cwi.nl.
Copyright © 2009 Elsevier Inc. All rights reserved.