Denotational semantics of a parallel object-oriented language

A parallel object-oriented language with inheritance and subtyping

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications

POOL: design and experience

OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming

Semantic-based visualization for parallel object-oriented programming

Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

The Varieties of Programming Language Semantics

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia

Modeling and Verification of Reactive Systems using Rebeca

Fundamenta Informaticae

Recursively defined metric spaces without contraction

Theoretical Computer Science

Rebeca: theory, applications, and tools

FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects

Formalizing CORRELATE: from practice to pi

2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods

Modeling and Verification of Reactive Systems using Rebeca

Fundamenta Informaticae

Full Abstractness of a Metric Semantics for Action Refinement

Fundamenta Informaticae

Bisimulation Semantics For Concurrency With Atomicity And Action Refinement

Fundamenta Informaticae