Cover Image
Read Now

1
Published 2000
Springer US
Table of Contents: “... Definition -- 22 Implementing CCS in Maude -- 23. From Refutation to Verification -- 24. Process Algebraic...”