scientific article; zbMATH DE number 177841

MaRDI QIDQ4038719zbMATH OpenFDO

Authors Frank S. de Boer

Publication date 18 May 1993

zbMATH Keywords

parallel object-oriented language POOLpartial correctness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(3)

• Semantic Correctness for a Parallel Object-Oriented Language
• Foreword
• POEMS: A Parallel Object-oriented Environment for Multi-computer Systems

Describes a project that uses

Uses Software

• POOL

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 Q4038719)