|
|
|||
|
||||
OverviewThe Actor model, introduced by Hewitt and Agha in the late 80s, describes a concurrent communicating system as a set of autonomous agents, with non uniform interfaces and communicating by the use of labeled messages. The CAP process calculus, proposed by Colaço, is based on this model and allows to describe non trivial realistic systems, without the need of complex encodings. CAP is a higher-order calculus: messages can carry actor behaviors. Multiple works address the analysis of CAP properties, mainly by the use of inference-based type systems using behavioral types and sub-typing. We propose here the use of another approach, based on the abstract interpretation methodlogy to address principal CAP issues such as the linearity of terms or the absence of orphan messages. Full Product DetailsAuthor: Pierre-Loïc GarochePublisher: LAP Lambert Academic Publishing Imprint: LAP Lambert Academic Publishing Dimensions: Width: 15.20cm , Height: 1.30cm , Length: 22.90cm Weight: 0.345kg ISBN: 9783843389549ISBN 10: 3843389543 Pages: 232 Publication Date: 29 December 2010 Audience: General/trade , General Format: Paperback Publisher's Status: Active Availability: In Print This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |