scientific article; zbMATH DE number 1860617

zbMath1056.68103MaRDI QIDQ4790344

Olaf Owe, Einar Broch Johnsen

Publication date: 2 June 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

interfacesobject-orientation

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Distributed systems (68M14)

Related Items (2)

Creol: A type-safe object-oriented model for distributed concurrent systems ⋮ A system for compositional verification of asynchronous objects

Uses Software

• PVS
• Maude

This page was built for publication: