Communication and concurrency
Equality in lazy computation systems
Proceedings of the Fourth Annual Symposium on Logic in computer science
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Full abstraction in the lazy lambda calculus
Information and Computation
The lazy Lambda calculus in a concurrency scenario
Information and Computation
Theoretical aspects of object-oriented programming: types, semantics, and language design
Theoretical aspects of object-oriented programming: types, semantics, and language design
Functional programming and input/output
Functional programming and input/output
Information and Computation
A Theory of Primitive Objects - Scond-Order Systems
ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
Computational Adequacy via "Mixed" Inductive Definitions
Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics
A Theory of Primitive Objects - Untyped and First-Order Systems
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Towards a Theory of Actor Computation
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
A pi-Calculus Semantics for an Object-Based Design Notation
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
A Sound Metalogical Semantics for Input/Output Effects
CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
From rewrite rules to bisimulation congruences
Theoretical Computer Science
Inheritance in concurrent objects
Formal methods for distributed processing
Annals of Mathematics and Artificial Intelligence
Imperative objects as mobile processes
Science of Computer Programming
Operational equivalence for interaction nets
Theoretical Computer Science - Latin American theoretical informatics
Compilation and equivalence of imperative objects
Journal of Functional Programming
A bisimulation for type abstraction and recursion
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bisimilarity for the Region Calculus
Higher-Order and Symbolic Computation
A fully abstract may testing semantics for concurrent objects
Theoretical Computer Science
Proceedings of the 6th international conference on Aspect-oriented software development
A bisimulation for type abstraction and recursion
Journal of the ACM (JACM)
Asynchronous sequential processes
Information and Computation
Transactions on Aspect-Oriented Software Development V
Characterizing convergent terms in object calculi via intersection types
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
A mechanized model of the theory of objects
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Logical bisimulations and functional languages
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
From Applicative to Environmental Bisimulation
Electronic Notes in Theoretical Computer Science (ENTCS)
Subtyping object and recursive types logically
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Bisimulations for untyped imperative objects
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
Program equivalence in a simple language with state
Computer Languages, Systems and Structures
Hi-index | 0.00 |