Objects, Interference, and the Yoneda Embedding

This publication has 18 references indexed in Scilit:

• Global state considered unnecessary: An introduction to object-based semantics
  Higher-Order and Symbolic Computation, 1996
• Objects in the π-Calculus
  Information and Computation, 1995
• Syntactic Control of Interference Revisited
  Electronic Notes in Theoretical Computer Science, 1995
• Full abstraction for the second order subset of an ALGOL-like language
  Lecture Notes in Computer Science, 1994
• Semantical Analysis of Specification Logic, 2
  Information and Computation, 1993
• A model for syntactic control of interference
  Mathematical Structures in Computer Science, 1993
• Semantical analysis of specification logic
  Information and Computation, 1990
• Event structures
  Published by Springer Nature ,1987
• Functor-category semantics of programming languages and logics
  Published by Springer Nature ,1986
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978