scientific article; zbMATH DE number 1490006

zbMATH Open0963.68030MaRDI QIDQ4496249FDOQ4496249

Authors: Carlos P. Herrero, J. Oliver 

Publication date: 13 August 2000

Title of this publication is not available (Why is that?)

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 \(\lambda\)-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

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)

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)