-calculus semantics of object-oriented programming languages

DOI10.1007/3-540-54415-1_63MaRDI QIDQ5096237zbMATH OpenOpenAlexFDO

Authors

Publication date 16 August 2022

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

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

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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Objects in the \(\pi\)-calculus
• An introduction to the -calculus.
• The -calculus: An introduction
• scientific article; zbMATH DE number 1346361
• scientific article; zbMATH DE number 1759737

Cites work

• A calculus of mobile processes. I
• A calculus of mobile processes. II
• Denotational semantics of a parallel object-oriented language
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Issues in the design of a parallel object-oriented language

Cited in

(20)

• An interpretation of typed objects into typed -calculus
• Concurrency and knowledge-level communication in agent languages
• Partial confluence of processes and systems of objects
• On transformations of concurrent-object programs
• Bisimulation congruence of -calculus
• Decoding choice encodings
• Objects in the \(\pi\)-calculus
• Variations on mobile processes
• Difunctorial semantics of object calculus
• Name-passing style GUI programming in the {\(\pi\)}-calculus-based language Nepi
• -calculus semantics for combinator calculi
• scientific article; zbMATH DE number 1346361 (Why is no real title available?)
• scientific article; zbMATH DE number 1956646 (Why is no real title available?)
• scientific article; zbMATH DE number 1759737 (Why is no real title available?)
• Graph-grammar semantics of a higher-order programming language for distributed systems
• Causality and true concurrency: A data-flow analysis of the Pi-Calculus
• Confluence of processes and systems of objects
• On transformations of concurrent object programs
• rCOS: a refinement calculus of object systems
• Theory of interaction

This page was built for publication: \(\pi\)-calculus semantics of object-oriented programming languages

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