The Department of Computer Science at the University of Cyprus cordially invites you to the Colloquium entitled:
Deriving Labels and Bisimilarity for Timed Concurrent Constraint Programming
Speaker: Dr. Andrés Aristizábal
Timed concurrent constraint programming (tcc) is a well-established extension of Concurrent Constraint Programming (ccp), which allows agents to be constrained by time requirements. Bisimilarity is one of the central reasoning techniques in concurrency. The standard definition of bisimilarity, however, is nonexistent for tcc. By building upon recent foundational investigations, we introduce both labeled transition semantics as well as novel and adequate notions of bisimilarity for tcc.
Andrés Aristizábal is currently an ABCDE ERCIM Fellow at the Institute of Computer Science at the University of Wroclaw in Poland. He earned his PhD in 2012, from the Laboratoire d'Informatique de l'Ecole Polytechnique (LIX) in Paris France under the supervision of Catuscia Palamidessi and Frank Valencia. In 2013 he was a Postdoctoral researcher and lecturer at the Javeriana University in Cali, Colombia. His research interests are within theoretical computer science and include process calculi and their applications to security, concurrency theory, formal methods, reactive systems and bisimulation, among others.
|Mailing List: https://listserv.cs.ucy.ac.cy/mailman/listinfo/cs-colloquium|
|Sponsor: The CS Colloquium Series is supported by a generous donation from