Denotational semantics of the Actor model

The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject is… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1983-2012
01219832012

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation where… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2007
2007
CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement… (More)
Is this relevant?
2006
2006
  • Carl Hewitt
  • AAAI Spring Symposium: What Went Wrong and Why…
  • 2006
Logic Programming is the proposal to implement systems using mathematical logic. Perhaps the first published proposal to use… (More)
Is this relevant?
1997
1997
We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the… (More)
Is this relevant?
1995
1995
Unbounded nondeterminism has played a fundamental role in the areas of re nement between models of languages supporting real time… (More)
Is this relevant?
1991
1991
Dorai Sitaram* anld Matthias Felleisen* I)epartment of Computer Science Rice University Houston, TX 77251-1892 Traditional… (More)
  • figure 3
  • figure 4
Is this relevant?
1990
1990
1 I n t r o d u c t i o n There are three complementary ways to reason about the behavior of programs: proving facts directly… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1983
Highly Cited
1983
A process P satisfies a specification S if every observation we can make of the behaviour of P is allowed by S. We use this idea… (More)
Is this relevant?