From kofron at nenya.ms.mff.cuni.cz  Wed May 26 11:12:26 2004
From: kofron at nenya.ms.mff.cuni.cz (Jan Kofron)
Date: Wed, 26 May 2004 11:12:26 +0200
Subject: Parallel composition answer
Message-ID: <40B45F7A.5090604@nenya.ms.mff.cuni.cz>

Pekny den vsem,
dnes na seminari jsem mluvil o 'parallel composition' a podarilo se mi 
zjistit (v clanku je to uvedeno, jen jsem si to nevybavil), ze 
jednotlive komponenty jsou synchronizovany na sdilenych akcich (mohou 
skrz sdilene akce komunikovat). Nelze vsak pomoci teto oprace slozit 
libovolne dve komponenty, ale tyto museji navic splnovat nektera drobna 
omezeni (mnoziny stavu musi byt disjunktni, apod.) - takove komponenty 
se nazyvaji 'compatible'.

S pozdravem
JK