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á bibliografia

Vydané v:	Electronic Notes in Theoretical Informatics and Computer Science Ročník 4 - Proceedings of...
Hlavní autori:	Heuvel, Bas van den, Nantes-Sobrinho, Daniele, Paulus, Joseph W. N., Pérez, Jorge A.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	11.12.2024
ISSN:	2969-2431, 2969-2431
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!