✦ LIBER ✦

Constraint-Based Concurrency and Beyond

✍ Scribed by Kazunori Ueda

Book ID: 108126655
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 176 KB
Volume: 162
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.12.103

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constraint-based software for concurrent

Constraint-based software for concurrent engineering

✍ Bowen, J.; Bahler, D. 📂 Article 📅 1993 🏛 IEEE 🌐 English ⚖ 408 KB

A concurrent engineering constraint-base

A concurrent engineering constraint-based system

✍ Hassan S. Abdalla 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 777 KB

This research article demonstrates the use of constraint networks for modelling the knowledge which is necessary for concurrent product and process design. A knowledge-based constraint network system has been developed to maintain design consistency and to support the selection of appropriate manufa

SAT-based planning in complex domains: C

SAT-based planning in complex domains: Concurrency, constraints and nondeterminism

✍ Claudio Castellini; Enrico Giunchiglia; Armando Tacchella 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 460 KB

Planning as satisfiability is a very efficient technique for classical planning, i.e., for planning domains in which both the effects of actions and the initial state are completely specified. In this paper we present C-SAT, a SAT-based procedure capable of dealing with planning domains having incom

A Timed Concurrent Constraint Language

✍ F.S. de Boer; M. Gabbrielli; M.C. Meo 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 295 KB

Timed Default Concurrent Constraint Prog

Timed Default Concurrent Constraint Programming

✍ VIJAY SARASWAT; RADHA JAGADEESAN; VINEET GUPTA 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 842 KB

Synchronous programming . (Berry, 1989) is a powerful approach to programming reactive systems. Following the idea that "processes are relations extended over time" . (Abramsky, 1993), we propose a simple but powerful model for timed, determinate computation, extending the closure-operator model for

Use of sequencing constraints for specif

Use of sequencing constraints for specification-based testing of concurrent programs

✍ Carver, R.H.; Kuo-Chung Tai 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 137 KB