Difference: PARS-tutorial-ex3 ( vs. 1)

Revision 12014-09-12 - DamianLyons

Line: 1 to 1
Exercise: Write a process definition for a process Z with four arguments, which consists of a sequential composition of an instance of P given the first two arguments as initial values, and a second instance of P given the second two values as initial parameters.

Z<a,b,c,d> = P<a,b> ; P<c,d> .

-- (c) Fordham University Robotics and Computer Vision

This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2023 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback