✦ LIBER ✦

A CSP model with flexible parallel termination semantics

✍ Scribed by Paul Howells; Mark d’Inverno

Book ID: 105844999
Publisher: Springer
Year: 2008
Tongue: English
Weight: 334 KB
Volume: 21
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-008-0098-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A semantics for Behavior Trees using CSP

A semantics for Behavior Trees using CSP with specification commands

✍ Robert J. Colvin; Ian J. Hayes 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 639 KB

In this paper we give a formal definition of the requirements translation language Behavior Trees. This language has been used with success in industry to systematically translate large, complex, and often erroneous requirements documents into a structured model of the system. It contains a mixture

A CSP model for simple non-reversible an

A CSP model for simple non-reversible and parallel repair plans

✍ Carmelo Del Valle; Antonio Márquez; Irene Barba 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 577 KB

Dynamic modeling of parallel robots with

Dynamic modeling of parallel robots with flexible platforms

✍ Long, Philip; Khalil, Wisama; Martinet, Philippe 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 932 KB

Balancing and scheduling of flexible mix

Balancing and scheduling of flexible mixed model assembly lines with parallel stations

✍ ÃztÃ¼rk, Cemalettin; TunalÄ±, Semra; Hnich, Brahim; Ãrnek, Arslan 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 391 KB

A fast and flexible multiresolution snak

A fast and flexible multiresolution snake with a definite termination criterion

✍ Nilanjan Ray; Bhabatosh Chanda; Jyotirmay Das 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 206 KB

The Shuffled Mesh: a flexible and effici

The Shuffled Mesh: a flexible and efficient model for parallel computing

✍ G. Bongiovanni; G.A. De Biase; A. Massini; A. Monti 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 71 KB