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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Electronic notes in theoretical computer science Jg. 162; S. 327 - 331
1. Verfasser:	Ueda, Kazunori
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 29.09.2006
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!