Confluence in concurrent constraint programming

Concurrent constraint programming (ccp), like most of the concurrent paradigms, has a mechanism of global choice which makes computations dependent on the scheduling of processes. This is one of the main reasons why the formal semantics of ccp is more complicated than the one of its deterministic an...

Celý popis

Podrobná bibliografie

Vydáno v:	Theoretical computer science Ročník 183; číslo 2; s. 281 - 315
Hlavní autoři:	Falaschi, Moreno, Gabbrielli, Maurizio, Marriott, Kim, Palamidessi, Catuscia
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 15.09.1997
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!