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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Information and computation Ročník 207; číslo 10; s. 1044 - 1077
Hlavní autoři:	Cervesato, Iliano, Scedrov, Andre
Médium:	Journal Article Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier Inc 01.10.2009 Elsevier
Témata:	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
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!

Buďte první, kdo okomentuje tento záznam!