Relating state-based and process-based concurrency through linear logic (full-version)

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

Saved in:

Bibliographic Details
Published in:	Information and computation Vol. 207; no. 10; pp. 1044 - 1077
Main Authors:	Cervesato, Iliano, Scedrov, Andre
Format:	Journal Article Conference Proceeding
Language:	English
Published:	Amsterdam Elsevier Inc 01.10.2009 Elsevier
Subjects:	Algorithmics. Computability. Computer arithmetics Applied sciences Computer science; control theory; systems Computer systems and distributed systems. User interface Concurrency Exact sciences and technology General logic Linear logic Logic and foundations Mathematical logic, foundations, set theory Mathematics Miscellaneous Multiset rewriting Process algebra Sciences and techniques of general use Security protocols Software Theoretical computing World Linear logic Process algebra Security protocols Multiset rewriting Concurrency Asynchronous Paradigm Formal logic Ideal Concurrent Duality Review Potential Sequential method Semantics Petri net Formal language Specification language Translation Computer theory Security protocol Rewriting Resource Specification Verification Distributed system Distributed programming Replication Object
ISSN:	0890-5401, 1090-2651
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!