Better late than never: a fully-abstract semantics for classical processes

We present Hypersequent Classical Processes (HCP), a revised interpretation of the “Proofs as Processes” correspondence between linear logic and the π-calculus initially proposed by Abramsky [1994], and later developed by Bellin and Scott [1994], Caires and Pfenning [2010], and Wadler [2014], among...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 3; číslo POPL; s. 1 - 29
Hlavní autoři:	Kokke, Wen, Montesi, Fabrizio, Peressotti, Marco
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 02.01.2019
Témata:	Computing methodologies Concurrency Concurrent computing methodologies Concurrent programming languages Linear logic Logic Models of computation Process calculi Theory of computation Behavioural Theory Deadlock-freedom Curry-Howard correspondence
ISSN:	2475-1421, 2475-1421
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!