×

zbMATH — the first resource for mathematics

Semantic correctness for a parallel object-oriented language. (English) Zbl 0697.68077

MSC:
68Q55 Semantics in the theory of computing
68Q60 Specification and verification (program logics, model checking, etc.)
68Q65 Abstract data types; algebraic specification
PDF BibTeX XML Cite
Full Text: DOI