✦ LIBER ✦

An approach to strategies in concurrent systems

✍ Scribed by Bruce Davies; Graham Wrightson

Book ID: 104445431
Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 24 KB
Volume: 31
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80328-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Teaching Goals and Strategy || An Approa

Teaching Goals and Strategy || An Approach to the Systems Approach

✍ Floyd S. Elkins 📂 Article 📅 1970 🏛 Taylor and Francis Group ⚖ 425 KB

An Approach to One-to-Many Concurrent Ne

An Approach to One-to-Many Concurrent Negotiation

✍ Mansour, Khalid; Kowalczyk, Ryszard 📂 Article 📅 2014 🏛 Springer 🌐 English ⚖ 818 KB

An approach to concurrent TTCN test gene

An approach to concurrent TTCN test generation

✍ Jun Bi; Jianping Wu 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 449 KB

Concurrent evaluation: An approach to ac

Concurrent evaluation: An approach to action research

✍ Jane Z. Moss 📂 Article 📅 1970 🏛 Elsevier Science ⚖ 485 KB

An Introduction to Assertional Reasoning

An Introduction to Assertional Reasoning for Concurrent Systems

✍ Shankar A.U. 📂 Library 📅 1993 🌐 English ⚖ 3 MB

This is a tutorial introduction to assertional reasoning based on temporal logic. The objective is to provide a working familiarity with the technique. We use a simple system model and a simple proof system, and we keep to a minimum the treatment of issues such as soundness, completeness, compositio

An approach to innocent strategies as gr

An approach to innocent strategies as graphs

✍ Pierre-Louis Curien; Claudia Faggian 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 617 KB