Syntax and semantics of Procol

DOI10.1007/3-540-60246-1_156MaRDI QIDQ3569041zbMATH OpenOpenAlexFDO

Authors Roel van der Goot, Arie de Bruin

Publication date 17 June 2010

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

Full work available at URL https://doi.org/10.1007/3-540-60246-1_156

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• A layered semantics for a parallel object-oriented language
• On transformations of concurrent-object programs
• Objects in the \(\pi\)-calculus
• Semantic Correctness for a Parallel Object-Oriented Language
• Publication:3495631

Cited in

(2)

• scientific article; zbMATH DE number 4170070 (Why is no real title available?)
• A layered semantics for a parallel object-oriented language

Describes a project that uses

Uses Software

• PROCOL

This page was built for publication: Syntax and semantics of Procol

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