Publication:4790344
From MaRDI portal
zbMath1056.68103MaRDI QIDQ4790344
Publication date: 2 June 2003
Related Items
Creol: A type-safe object-oriented model for distributed concurrent systems, A system for compositional verification of asynchronous objects
Uses Software