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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Information and computation Jg. 207; H. 10; S. 1044 - 1077
Hauptverfasser:	Cervesato, Iliano, Scedrov, Andre
Format:	Journal Article Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Amsterdam Elsevier Inc 01.10.2009 Elsevier
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!