Relating State-Based and Process-Based Concurrency through Linear Logic

This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are notoriously hard to get right. Therefore, following an approach that has proved highly beneficial for sequential programs, mu...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Electronic notes in theoretical computer science Jg. 165; S. 145 - 176
Hauptverfasser:	Cervesato, Iliano, Scedrov, Andre
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 22.11.2006
Schlagworte:	Linear logic multiset rewriting process algebra process algebra multiset rewriting Linear logic
ISSN:	1571-0661, 1571-0661
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!