Denotational Semantics of the Actor Model

Denotational Semantics of the Actor Model

Edited by 

List price: US$38.00

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject is recounted in. The denotational theory of computational system semantics is concerned with finding mathematical objects that represent what systems do. Collections of such objects are called domains. The Actor uses the domain of event diagram scenarios. It is usual to assume some properties of the domain, such as the existence of limits of chains and a bottom element. Various additional properties are often reasonable and helpful: the article on domain theory has more details. A domain is typically a partial order, which can be understood as an order of definedness. For instance, given event diagram scenarios x and y, one might let "x y" mean that "y extends the computations x."show more

Product details

  • Paperback | 68 pages
  • 152 x 229 x 4mm | 113g
  • Part Press
  • United States
  • English
  • black & white illustrations
  • 613565778X
  • 9786135657784