PARS-tutorial-ex4 < Main

Tags: view all tags

Exercise: Write a PARS process that has two process variables, and will do P if the first variable is the larger and Q if the second is the larger, but nothing if they are equal.

Remember, the parallel composition of condition processes does not need to specify a disjoint situation as in an IF statement. So we can write

Z<a,b> = (GTR<a,b> ; P | GTR<b,a> ; Q) .

In the case that z=b, neither condition process will terminate in STOP and hence neither P nor Q will be started.

-- (c) Fordham University Robotics and Computer Vision

Topic revision: r1 - 2014-09-12 - DamianLyons