𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Dynamic consistency in process algebra: From Paradigm to ACP

✍ Scribed by S. Andova; L.P.J. Groenewegen; E.P. de Vink

Book ID
104092017
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
820 KB
Volume
76
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

✦ Synopsis

The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistently specified at various levels of abstraction. The operational semantics of Paradigm is given. For a large, general subclass of Paradigm models a translation into process algebra is provided. Once expressed in process algebra, relying on a correctness result, Paradigm models are amenable to process algebraic reasoning and to verification via the mCRL2 toolset. Examples of a scheduling problem illustrate the approach.

πŸ“œ SIMILAR VOLUMES

Information Processing Biases and Anxiet
Information Processing Biases and Anxiety || Selective Attention to Threat in Childhood Anxiety: Evidence from Visual Probe Paradigms
✍ Hadwin, Julie A.; Field, Andy P. πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley & Sons, Ltd 🌐 English βš– 802 KB

The efficiency of the attention system mediates individual differences in intelligence and emotional processing ). An attentional system that preferentially filters and selects negative, threatening, anxiogenic information is more likely to potentiate perceptions of threat and danger; activate a ran