Author of the publication

The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security.

, and . PPDP, page 8-19. ACM, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Languages for Concurrency., and . Bulletin of the EATCS, (2006)Universal concurrent constraint programing: symbolic semantics and applications to security., and . SAC, page 145-150. ACM, (2008)Temporal Concurrent Constraint Programming.. CP, volume 2239 of Lecture Notes in Computer Science, page 786. Springer, (2001)Models and emerging trends of concurrent constraint programming., , and . Constraints An Int. J., 18 (4): 535-578 (2013)Partition refinement for bisimilarity in CCP., , , and . SAC, page 88-93. ACM, (2012)A Temporal Concurrent Constraint Programming Calculus., and . CP, volume 2239 of Lecture Notes in Computer Science, page 302-316. Springer, (2001)A Labelled Semantics for Soft Concurrent Constraint Programming., , , and . COORDINATION, volume 9037 of Lecture Notes in Computer Science, page 133-149. Springer, (2015)Weak CCP bisimilarity with strong procedures., , , and . Sci. Comput. Program., (2015)Pi+- Calculus: A Calculus for Concurrent Processes with Constraints., , and . CLEI Electron. J., (1998)On validity in modelization of musical problems by CCP., and . Soft Comput., 8 (9): 641-648 (2004)