Typed Non-determinism in Concurrent Calculi: The Eager Way

We consider the problem of designing typed concurrent calculi with non-deterministic choice in which types leverage linearity for controlling resources, thereby ensuring strong correctness properties for processes. This problem is constrained by the delicate tension between non-determinism and linea...

Celý popis

Podrobná bibliografie

Vydáno v:	Electronic Notes in Theoretical Informatics and Computer Science Ročník 4 - Proceedings of...
Hlavní autoři:	Heuvel, Bas van den, Nantes-Sobrinho, Daniele, Paulus, Joseph W. N., Pérez, Jorge A.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	11.12.2024
ISSN:	2969-2431, 2969-2431
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!