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á bibliografie

Vydáno v:	Electronic notes in theoretical computer science Ročník 165; s. 145 - 176
Hlavní autoři:	Cervesato, Iliano, Scedrov, Andre
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 22.11.2006
Témata:	Linear logic multiset rewriting process algebra process algebra multiset rewriting Linear logic
ISSN:	1571-0661, 1571-0661
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!