*license_notice_EDS_guest_loggedout* *Login*

Result: How to Design Deadlock-Free Networks Using CSP and Verification Tools - A Tutorial Introduction

Title:

How to Design Deadlock-Free Networks Using CSP and Verification Tools - A Tutorial Introduction
World Occam and Transputer User Group

Authors:

Martin, J. M. R., Jassim, S. A.

Source:

CONCURRENT SYSTEMS ENGINEERING SERIES. 50:326-338

Availability:

Database:

British Library Document Supply Centre Inside Serials & Conference Proceedings

*Result*: How to Design Deadlock-Free Networks Using CSP and Verification Tools - A Tutorial Introduction