TUM ¨ R INFORMATIK INSTITUT FU

Concurrent Timed Port Automata Radu Grosu Bernhard Rumpe

TUM-I9533 Oktober 1995

¨ T MU ¨ NCHEN TECHNISCHE UNIVERSITA [GR95] R. Grosu, B. Rumpe. Concurrent Timed Port Automata. Technical Report TUM-I9533, TU Munich, 1995. www.se-rwth.de/publications

TUM-INFO-10-1995-I9533-350/1.-FI Alle Rechte vorbehalten Nachdruck auch auszugsweise verboten c 1995

MATHEMATISCHES INSTITUT UND INSTITUT F¨ UR INFORMATIK TECHNISCHE UNIVERSIT¨ AT M¨ UNCHEN

Typescript: --Druck: Mathematisches Institut und Institut f¨ ur Informatik der Technischen Universit¨ at M¨ unchen


  
   
 !#" &$ %(')+*,.-(/)10!2435,76!89%,.'$)!:?)!@BA%C A4D5)!C ,&EF6!DG-,7:H%A7IB>0?J13LK78!6!IM/7K7893ON&6!IBP 35,./IBA%C A4Q)!C 69K789356 R(S TU(S Q)!C 69K78935610*O35,7:H%6?V WXYQZ%IB@Y[\],.-(/)10^,7)!:b^A7)!XG:c)9356!K7893561bd'3 e-LP 35:cf 35, T 0g U(U h

iFjkmlonpq7rMstlon!nBuLq7vLnBq7rMwYx y.z{Mk5w1|9wFrM}~v4wYnBwY~rG€Mk&?q7}‚}1ƒ5vml„{Bz …B†‡ | ˆ u5rMqŠ‰‹wY€G{Œ5(ŽY ‘




    "!$#%"! & ')(+*-,/.01032"4"57689:5+.41;9:.?:5+@=BABACABACABACABABACABACABACABACABACABABACABACABACA D ')(+*(+* EF2"0G84H%IJ?:.LKM@6N9:5+.41ACABACABACABABACABACABACABACABACABABACABACABACA O &PCQRTSU)RFVXW"!R)ZY1[["Q \ D)(+*^]_5+01@H1I.?:9:`ba@Cs