AbstractTwo semantics for a parallel object-oriented programming language are presented. One is a two-level transitional semantics in which the global behaviour of a system is derived directly from the possible actions of its constituent objects. The other is by translation into the π-calculus. A close correspondence between the semantics is established
AbstractAn interpretation of Abadi and Cardelli's first-order functionobject calculusinto a typedπ-c...
. This document aims to provide a formal semantics for an object-oriented language with constructs f...
A process calculus extending the pi-calculus with higher-order agent abstractions as in the Higher-O...
Two semantics for a parallel object-oriented programming language are presented. One is a two-level ...
Two semantics for a parallel object-oriented programming language are presented. One is a two-level ...
This paper is intended to give an overview of the formal techniques that have been developed to deal...
International audienceIn this paper, we give a general framework for the foundation of an operationa...
A framework for the semantic description of concurrent object-oriented languages based on CCS is out...
We describe the foundations of Obj^+a, a framework, or generic calculus, for modeling object-oriente...
AbstractWe obtain a new formalism for concurrent object-oriented languages by extending Abadi and Ca...
We develop a denotational semantics for POOL, a parallel object-oriented programming language. The m...
π-calculus is a calculus for modeling dynamically changing configurations of a network of communicat...
Hoare and He's Unifying Theories of Programming (UTP) provides a rich model of programs as relationa...
AbstractWe present a new abstract machine for Abadi and Cardelli's untyped non-imperative calculus o...
The development of concurrent object-based programming languages has suffered from the lack of any g...
AbstractAn interpretation of Abadi and Cardelli's first-order functionobject calculusinto a typedπ-c...
. This document aims to provide a formal semantics for an object-oriented language with constructs f...
A process calculus extending the pi-calculus with higher-order agent abstractions as in the Higher-O...
Two semantics for a parallel object-oriented programming language are presented. One is a two-level ...
Two semantics for a parallel object-oriented programming language are presented. One is a two-level ...
This paper is intended to give an overview of the formal techniques that have been developed to deal...
International audienceIn this paper, we give a general framework for the foundation of an operationa...
A framework for the semantic description of concurrent object-oriented languages based on CCS is out...
We describe the foundations of Obj^+a, a framework, or generic calculus, for modeling object-oriente...
AbstractWe obtain a new formalism for concurrent object-oriented languages by extending Abadi and Ca...
We develop a denotational semantics for POOL, a parallel object-oriented programming language. The m...
π-calculus is a calculus for modeling dynamically changing configurations of a network of communicat...
Hoare and He's Unifying Theories of Programming (UTP) provides a rich model of programs as relationa...
AbstractWe present a new abstract machine for Abadi and Cardelli's untyped non-imperative calculus o...
The development of concurrent object-based programming languages has suffered from the lack of any g...
AbstractAn interpretation of Abadi and Cardelli's first-order functionobject calculusinto a typedπ-c...
. This document aims to provide a formal semantics for an object-oriented language with constructs f...
A process calculus extending the pi-calculus with higher-order agent abstractions as in the Higher-O...
DOI
Add to ORKG