A. Villanueva

Modelling concurrent systems specified in a temporal concurrent constraint language -I
Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language

Published with Wowchemy — the free, open source website builder that empowers creators.