Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language

FALASCHI M.

VILLANUEVA A.

POLICRITI, Alberto