Constraint-Based Concurrency and Beyond

Constraint-based concurrency is a simple and elegant formalism of concurrency with monotonic mobile channels, whose history started in early 1980's as a subfield of logic programming. Although it has hardly been recognized as process calculi, there is a close connection between them. In this pa...

Celý popis

Podrobná bibliografia

Vydané v:	Electronic notes in theoretical computer science Ročník 162; s. 327 - 331
Hlavný autor:	Ueda, Kazunori
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 29.09.2006
Predmet:	concurrent constraint programming concurrent logic programming constraint-based concurrency hierarchical graph rewriting LMNtal mobility multiset rewriting hierarchical graph rewriting LMNtal constraint-based concurrency mobility concurrent logic programming concurrent constraint programming multiset rewriting
ISSN:	1571-0661, 1571-0661
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!