π-Calculus semantics of object-oriented programming languages

DOI10.1007/3-540-54415-1_63zbMath1493.68063OpenAlexW1517276975MaRDI QIDQ5096237

No author found.

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

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (12)

rCOS: a refinement calculus of object systems ⋮ 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 ⋮ Bisimulation congruence of \(\chi\)-calculus ⋮ On transformations of concurrent object programs ⋮ Theory of interaction ⋮ Variations on mobile processes ⋮ Concurrency and knowledge-level communication in agent languages ⋮ Partial confluence of processes and systems of objects ⋮ On transformations of concurrent-object programs ⋮ Decoding choice encodings

Cites Work

• Unnamed Item
• Issues in the design of a parallel object-oriented language
• Denotational semantics of a parallel object-oriented language
• A calculus of mobile processes. I
• A calculus of mobile processes. II

This page was built for publication: π-Calculus semantics of object-oriented programming languages