Subscribe to thousands of academic journals for just $40/month
Read and share the articles you need for your research, all in one place.

Design and Verification of Distributed Recovery Blocks with CSP

Formal Methods in System Design , Volume 22 (3) – May 1, 2003

Details

Publisher
Kluwer Academic Publishers
Copyright
Copyright © 2003 by Kluwer Academic Publishers
Subject
Engineering; Software Engineering/Programming and Operating Systems; Computer-Aided Engineering (CAD, CAE) and Design; Electronic and Computer Engineering; Circuits and Systems
ISSN
0925-9856
eISSN
1572-8102
D.O.I.
10.1023/A:1022997110855
Publisher site
See Article on Publisher Site
Expand Tray Hide Tray

Loading next page...

End of preview. The entire article is 24 pages. Rent for Free

 
/lp/springer-journal/design-and-verification-of-distributed-recovery-blocks-with-csp-I36aqhx3Ix

Loading...