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

Full description

Bibliographic Details

Published in:	Logical methods in computer science Vol. 20, Issue 4
Main Authors:	Bravetti, Mario, Lange, Julien, Zavattaro, Gianluigi
Format:	Journal Article
Language:	English
Published:	Logical Methods in Computer Science e.V 01.10.2024
Subjects:	computer science - logic in computer science computer science - programming languages
ISSN:	1860-5974, 1860-5974
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!