✦ LIBER ✦

Verification system for freedom from deadlock of communicating sequential processes

✍ Scribed by Masaki Murakami; Yasuyoshi Inagaki

Book ID: 112205629
Publisher: John Wiley and Sons
Year: 1987
Tongue: English
Weight: 600 KB
Volume: 18
Category: Article
ISSN: 0882-1666
DOI: 10.1002/scj.4690180401

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification system for partial correctn

Verification system for partial correctness of communicating sequential processes

✍ Masaki Murakami; Yasuyoshi Inagaki 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 599 KB

[Lecture Notes in Business Information P

[Lecture Notes in Business Information Processing] Web Information Systems and Technologies Volume 45 || Information Supply of Related Papers from the Web for Scholarly e-Community

✍ Cordeiro, José; Filipe, Joaquim 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 383 KB

This book contains a selection of the best papers from WEBIST 2009 (the 5th Int- national Conference on Web Information Systems and Technologies), held in Lisbon, Portugal, in 2009, organized by the Institute for Systems and Technologies of Inf- mation, Control and Communication (INSTICC), in collab