create new tag
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
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback