On concurrent behaviors and focusing in linear logic
Theor. Comput. Sci., Volume 685, 2017, Pages 46-64.
Abstract Concurrent Constraint Programming (CCP) is a simple and powerful model of concurrency where processes interact by telling and asking constraints into a global store of partial information. Since its inception, CCP has been endowed with declarative semantics where processes are interpreted as formulas in a given logic. This ...More
Full Text (Upload PDF)
PPT (Upload PPT)