partiel lotos décembre 2005.

Question 1 :
R1

ina inb

outa outb
inb ina
inb ina
outb outa outb outa
outa
outb
outa
outb outa outb

R2

in
mid
out

R1 àprès modification de S :

ina inb

outa outb
inb ina

outb outa outb outa

R2 après modification de S :

in

mid

in out

out

Question 2 :

input
A

AB
B

RD BR

RR

R
Process S[input] := hide AB,BR,RR,RD in
( (A(input);B(AB,BR,RD)) |[BR]| R(BR,RR) ) |[RR,RD]| R(RR,RD)
where
process A[input] :=
input; B[r, tr, ack]
endproc
process B[r, tr, ack]:=
r; ( i; B[r, tr, ack]
[]
( out; ( i; B[r, tr, ack]
[]
ack;(A[input] [] i; B[r, tr, ack])
)
)
)
endproc
process R[in, out]:=
in; (
out; ( R[in, out] [] i; R[in, out] )
[]
i; R[in, out]
)
endproc
endproc

input

AB

BR

i
RR
i
RD
i