Publications

COMPSET: A Framework for Comparing Multiparty Session Types

AuthID
P-01A-M00

Author(s)

Ribeiro, T

Proença, J

Florido, M

Editor(s)

Di Giusto,,C;Bacci,,G

Document Type

Proceedings Paper

Year published

2025

Published

in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSN: 2075-2180

Volume: abs/2510.24205, Issue: 433, Pages: 46-64 (19)

Conference

32Nd International Workshop on Expressiveness in Concurrency (Express) / 22Nd Workshop on Structural Operational Semantics (Sos), Date: AUG 25, 2025, Location: Aarhus, DENMARK

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/1396736

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.4204/eptcs.433.5

Dblp: journals/corr/abs-2510-24205

Scopus: 2-s2.0-105022615388

Wos: WOS:001626970200003

Source Identifiers

ISSN: 2075-2180

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

COMPSET: A Framework for Comparing Multiparty Session Types

Useful Links

Get Help

Federated Authentication (Click on the image)

COMPSET: A Framework for Comparing Multiparty Session Types

Useful Links

Get Help