The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject isâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2008

2008

- Roberto Lublinerman, Stavros Tripakis
- 2008 IEEE Real-Time and Embedded Technology andâ€¦
- 2008

In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation whereâ€¦Â (More)

Is this relevant?

2007

2007

- Ana Cavalcanti, Marie-Claude Gaudel
- ICFEM
- 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?

2001

1997

1997

- Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
- CONCUR
- 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

- Michael W. Mislove
- Electr. Notes Theor. Comput. Sci.
- 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?

1994

1991

1991

- Dorai Sitaram, Matthias Felleisen
- POPL
- 1991

Dorai Sitaram* anld Matthias Felleisen* I)epartment of Computer Science Rice University Houston, TX 77251-1892 Traditionalâ€¦Â (More)

Is this relevant?

1990

1990

- Jon G. Riecke
- ICALP
- 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)

Is this relevant?

Highly Cited

1983

Highly Cited

1983

- Ernst-RÃ¼diger Olderog, C. A. R. Hoare
- Acta Informatica
- 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?