Fair Asynchronous Session Subtyping

Session types are widely used as abstractions of asynchronous message passing systems. Refinement for such abstractions is crucial as it allows improvements of a given component without compromising its compatibility with the rest of the system. In the context of session types, the most general noti...

Celý popis

Podrobná bibliografie

Vydáno v:	Logical methods in computer science Ročník 20, Issue 4
Hlavní autoři:	Bravetti, Mario, Lange, Julien, Zavattaro, Gianluigi
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Logical Methods in Computer Science e.V 01.10.2024
Témata:	computer science - logic in computer science computer science - programming languages
ISSN:	1860-5974, 1860-5974
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!