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
Edit | Attach | Topic revision: r1 - 2014-09-12 - DamianLyons
Site map
Main web
Users
Groups
Index
Search
Changes
Notifications
RSS Feed
Statistics
Preferences
Copyright © 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