Partially Typed Multiparty Sessions (Q6197376)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7820783

Language	Label	Description	Also known as
English	Partially Typed Multiparty Sessions	scientific article; zbMATH DE number 7820783

Statements

scholarly article

0 references

Partially Typed Multiparty Sessions (English)

0 references

0 references

10.4204/eptcs.383.2

0 references

Franco Barbanera

0 references

Mariangiola Dezani-Ciancaglini

0 references

Electronic Proceedings in Theoretical Computer Science

0 references

publication date

19 March 2024

0 references

full work available at URL

https://arxiv.org/abs/2308.10653

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

MaRDI profile type

MaRDI publication profile

0 references

Iterative algebras at work

0 references

A Theoretical Perspective of Coinductive Logic Programming

0 references

Composition and decomposition of multiparty sessions

0 references

Undecidability of asynchronous session subtyping

0 references

Reversible sessions with flexible choices

0 references

Global types with internal delegation

0 references

Fundamental properties of infinite trees

0 references

Deconfined Global Types for Asynchronous Sessions

0 references

Nested Protocols in Session Types

0 references

Multiparty asynchronous session types

0 references

Multiparty Asynchronous Session Types

0 references

Fundamental approaches to software engineering. 20th international conference, FASE 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017. Proceedings

0 references

A type system for lock-free processes

0 references

Practical coinduction

0 references

Fencing off go: liveness and safety for channel-based programming

0 references

From Communicating Machines to Graphical Choreographies

0 references

On the Undecidability of Asynchronous Session Subtyping

0 references

Global Principal Typing in Partially Commutative Asynchronous Sessions

0 references

0 references

Observational Equivalence for Multiparty Sessions

0 references

Coinductive Logic Programming

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6197376

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6197376&oldid=37649077"