Title
CTR: A Calculus of Timed Refinement
Year
DOI
Venue
1995
10.1007/3-540-60218-6_39
CONCUR
Field
DocType
ISBN
Pragmatics,Programming language,Algebraic number,Computer science,Formalism (philosophy),Reactive system,Process calculus,Mutual exclusion,Calculus,Semantics,Modal
Conference
3-540-60218-6
Citations 
PageRank 
References 
1
0.35
10
Authors
1
Name
Order
Citations
PageRank
Karlis Cerans131448.74