Communicating Process Architectures 2002
Roger Loader and VaidV Sunderam (Eds.) IOS Press. ... J . S . PascoeAr read ing .ac.uk Abstract. The Agreement Problem Protocol Verification Enviroument ( APPROVE) has become a mature and robust platform for the automated verificationanbsp;...
| Title | : | Communicating Process Architectures 2002 |
| Author | : | World Occam and Transputer User Group. Technical Meeting, James Pascoe |
| Publisher | : | IOS Press - 2002 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works:- 1. Register a free 1 month Trial Account.
- 2. Download as many books as you like (Personal use)
- 3. Cancel the membership at any time if not satisfied.
