Dynamic spaces in concurrent constraint programming

Concurrent constraint programming (CCP) is a declarative model for concurrency where agents interact with each other by posting (telling) and asking constraints (formulas in logic) in a shared store of partial information. With the advent of emergent applications as security protocols, social networ...

Full description

Bibliographic Details
Main Author: Nigam, Vivek (author)
Other Authors: Pimentel, Elaine Gouvea (author), Vega, Carlos Alberto Olarte (author)
Format: article
Language:eng
Published: 2020
Subjects:
Concurrent Constraint Programming
Linear Logic
Subexponentials
Mobility
Distributed Spaces
Online Access:https://doi.org/OLARTE, Carlos; NIGAM, Vivek; PIMENTEL, Elaine. Dynamic spaces in concurrent constraint programming. Electronic Notes in Theoretical Computer Science, [s.l.], v. 305, p. 103-121, jul. 2014. Disponível em: https://www.sciencedirect.com/science/article/pii/S1571066114000541?via%3Dihub. Acesso em: 30 jul. 2020. https://doi.org/10.1016/j.entcs.2014.06.008
https://doi.org/10.1016/j.entcs.2014.06.008
Country:Brazil
Oai:oai:https://repositorio.ufrn.br:123456789/29778

Internet

https://doi.org/OLARTE, Carlos; NIGAM, Vivek; PIMENTEL, Elaine. Dynamic spaces in concurrent constraint programming. Electronic Notes in Theoretical Computer Science, [s.l.], v. 305, p. 103-121, jul. 2014. Disponível em: https://www.sciencedirect.com/science/article/pii/S1571066114000541?via%3Dihub. Acesso em: 30 jul. 2020. https://doi.org/10.1016/j.entcs.2014.06.008
https://doi.org/10.1016/j.entcs.2014.06.008

Similar Items