Author of the publication

Belief, knowledge, lies and other utterances in an algebra for space and extrusion.

, , , , and . J. Log. Algebraic Methods Program., 86 (1): 107-133 (2017)

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

The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security., and . PPDP, page 8-19. ACM, (2008)A Labelled Semantics for Soft Concurrent Constraint Programming., , , and . COORDINATION, volume 9037 of Lecture Notes in Computer Science, page 133-149. Springer, (2015)Recursion vs Replication in Process Calculi: Expressiveness., and . Bulletin of the EATCS, (2005)On the expressive power of temporal concurrent constraint programming languages., , and . PPDP, page 156-167. ACM, (2002)Pi+- Calculus: A Calculus for Concurrent Processes with Constraints., , and . CLEI Electron. J., (1998)Concurrency, Time, and Constraints.. ICLP, volume 2916 of Lecture Notes in Computer Science, page 72-101. Springer, (2003)Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach., , , and . PACBB, volume 93 of Advances in Intelligent and Soft Computing, page 321-328. Springer, (2011)Deriving Labels and Bisimilarity for Concurrent Constraint Programming., , , , and . FoSSaCS, volume 6604 of Lecture Notes in Computer Science, page 138-152. Springer, (2011)Catuscia Palamidessi: a journey from logic and concurrency to security and privacy., , , and . ACM SIGLOG News, 7 (1): 47-50 (2020)Preface to special issue: ICTAC 2015., , , and . Math. Struct. Comput. Sci., 29 (1): 1-2 (2019)