On concurrent behaviors and focusing in linear logic

Theor. Comput. Sci., Volume 685, 2017, Pages 46-64.

Cited by: 7|Bibtex|Views1|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments