Denotational semantics of the Actor model
Semantic Scholar uses AI to extract papers important to this topic.
In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation where… (More)
CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement… (More)
Logic Programming is the proposal to implement systems using mathematical logic. Perhaps the first published proposal to use… (More)
We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the… (More)
- Electr. Notes Theor. Comput. Sci.
Unbounded nondeterminism has played a fundamental role in the areas of re nement between models of languages supporting real time… (More)
Dorai Sitaram* anld Matthias Felleisen* I)epartment of Computer Science Rice University Houston, TX 77251-1892 Traditional… (More)
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)
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)