On concurrent behaviors and focusing in linear logic

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 formula...

Celý popis

Podrobná bibliografie

Vydáno v:	Theoretical computer science Ročník 685; s. 46 - 64
Hlavní autoři:	Olarte, Carlos, Pimentel, Elaine
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 15.07.2017
Témata:	Concurrent constraint programming Fixed points Focusing Linear logic Multi-focusing Proof systems Concurrent constraint programming Linear logic Fixed points Proof systems Multi-focusing Focusing
ISSN:	0304-3975, 1879-2294
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!