scientific article; zbMATH DE number 1490006

MaRDI QIDQ4496249zbMATH OpenFDO

Authors Carlos P. Herrero, J. Oliver

Publication date 13 August 2000

zbMATH Keywords

concurrent systemsLCEP

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Denotational semantics of a parallel object-oriented language
• A layered semantics for a parallel object-oriented language
• scientific article; zbMATH DE number 1231551
• scientific article; zbMATH DE number 991778
• scientific article; zbMATH DE number 52915
• Label-selective -calculus syntax and confluence
• scientific article; zbMATH DE number 1354150
• A specification logic for concurrent object-oriented programming
• scientific article; zbMATH DE number 1722666
• A Relational Model of a Parallel and Non-deterministic λ-Calculus

Cited in

(1)

• Objects and their lambda calculus

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