PARS-tutorial-ex3 < Main

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 topic: Main > WebHome > FordhamRoboticsAndComputerVisionLaboratory > FRCVProjects > DTRA > PARS-tutorial > PARS-tutorial-ex3
Topic revision: r1 - 2014-09-12 - DamianLyons