Temporal Concurrent Constraint Programming: Denotation, Logic and Applications (2002)

by Mogens Nielsen , Catuscia Palamidessi , Frank D. Valencia
Citations:65 - 22 self