✦ LIBER ✦

Distributed reachability testing of concurrent programs

✍ Scribed by Richard H. Carver; Yu Lei

Publisher: John Wiley and Sons
Year: 2010
Tongue: English
Weight: 201 KB
Volume: 22
Category: Article
ISSN: 1532-0626
DOI: 10.1002/cpe.1573

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Testing Concurrent Java Programs using R

Testing Concurrent Java Programs using Randomized Scheduling

✍ Scott D. Stoller 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 156 KB

Distributed concurrent linear logic prog

Distributed concurrent linear logic programming

✍ Naoki Kobayashi; Toshihiro Shimizu; Akinori Yonezawa 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 227 KB

We propose a framework of distributed concurrent linear logic programming, which can elegantly capture the essential features of distributed computation: location-dependence=independence of names and movement of computation. We ÿrst deÿne the syntax and semantics of a modal linear logic that is suit

A class library for implementing, testin

A class library for implementing, testing, and debugging concurrent programs

✍ Richard H. Carver; Yu Lei 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 960 KB

Concurrency theory: timed automata, test

Concurrency theory: timed automata, testing, program synthesis

✍ Davide Sangiorgi 📂 Article 📅 2011 🏛 Springer-Verlag 🌐 English ⚖ 88 KB

Constraint Satisfaction in Distributed C

Constraint Satisfaction in Distributed Concurrent Logic Programming

✍ HO-FUNG LEUNG; KEITH L. CLARK 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 602 KB

In constraint logic programming, unification is replaced by more general constraint satisfaction. To support constraint solving in a committed-choice concurrent logic programming language, the constraint solver also needs to determine the status of the 'ask'-constraints with respect to the current c

Precise slicing of concurrent programs

✍ Dennis Giffhorn; Christian Hammer 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 1011 KB