O.Sankur,P.Bouyer,N.Markey53.2ShrinkingasaRemedytoUnrealisticBehaviour - PPT Presentation
1
2
y1112xx0
y13y0
Figure1Ashrunktimedautomatonthatisblockingwhenever20or30ButunrealistictimingconstraintsarenotlimitedtoZenobehavioursTheautomatoninFig1providesanexampleofatim ID: 428363