Object-oriented specification with the parallel multi-label-selective -calculus

DOI10.1007/3-540-47849-3_27MaRDI QIDQ4496249zbMATH OpenFDO

Authors Carlos P. Herrero, Javier Oliver

Publication date 13 August 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-47849-3_27

zbMATH Keywords

concurrent systemsLCEP

Mathematics Subject Classification ID

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

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
• Label-selective \(\lambda\)-calculus syntax and confluence
• 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: Object-oriented specification with the parallel multi-label-selective \(\lambda\)-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4496249)