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

Celý popis

Podrobná bibliografia

Vydané v:	Electronic notes in theoretical computer science Ročník 165; s. 145 - 176
Hlavní autori:	Cervesato, Iliano, Scedrov, Andre
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 22.11.2006
Predmet:	Linear logic multiset rewriting process algebra process algebra multiset rewriting Linear logic
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!