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

Recursion vs Replication in Process Calculi: Expressiveness., and . Bulletin of the EATCS, (2005)The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security., and . PPDP, page 8-19. ACM, (2008)Pi+- Calculus: A Calculus for Concurrent Processes with Constraints., , and . CLEI Electron. J., (1998)A Labelled Semantics for Soft Concurrent Constraint Programming., , , and . COORDINATION, volume 9037 of Lecture Notes in Computer Science, page 133-149. Springer, (2015)On the expressive power of temporal concurrent constraint programming languages., , and . PPDP, page 156-167. ACM, (2002)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)A Temporal Concurrent Constraint Programming Calculus., and . CP, volume 2239 of Lecture Notes in Computer Science, page 302-316. Springer, (2001)Partition refinement for bisimilarity in CCP., , , and . SAC, page 88-93. ACM, (2012)