A formalism for real-time concurrent object-oriented computing
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Elements of interaction: Turing award lecture
Communications of the ACM
Compiler correctness for parallel languages
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Semantic-based visualization for parallel object-oriented programming
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Bisimulation congruence of ℵ-calculus
Information and Computation
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
ACM Turing award lectures
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
Scalable formalization of publish/subscribe messaging scheme based on message brokers
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Formalizing CORRELATE: from practice to pi
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
| Hi-index | 0.03 |