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

Full description

Bibliographic Details

Published in:	Electronic notes in theoretical computer science Vol. 165; pp. 145 - 176
Main Authors:	Cervesato, Iliano, Scedrov, Andre
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 22.11.2006
Subjects:	Linear logic multiset rewriting process algebra process algebra multiset rewriting Linear logic
ISSN:	1571-0661, 1571-0661
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!