Search
Now showing items 1-1 of 1
A graphical representation for communicating sequential processes
(University of Hertfordshire, 1997)
The use of formal notations has many advantages in the specification of interactive systems. However, validating specifications written using formal notations is generally difficult as these specifications are often hard ...