CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language
M. Falaschi
,
Alberto Policriti
,
A. Villanueva
2000-01-01
Cite
Type
Conference paper
Publication
Proceedings of AGP 2000
Related
Modelling concurrent systems specified in a temporal concurrent constraint language -I
Co-lexicographically Ordering Automata and Regular Languages - Part I
Ordering regular languages and automata: Complexity
Co-lexicographically Ordering Automata and Regular Languages - Part I
Continued Hereditarily Finite Set-Approximations
Cite
×