BOOK-CHAPTER
Parameterised Multiparty Session Types
Nobuko YoshidaPierre-Malo DeniélouAndi BejleriRaymond Hu
Year: 2010 Lecture notes in computer science Pages: 128-145 Publisher: Springer Science+Business Media
Keywords:
Computer science Recursion (computer science) Decidability Type theory Deadlock Theoretical computer science Session (web analytics) Range (aeronautics) Type (biology) Set (abstract data type) Distributed computing Programming language Operator (biology) World Wide Web
Metrics
83
Cited By
15.75
FWCI (Field Weighted Citation Impact)
24
Refs
0.99
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Distributed systems and fault tolerance
Physical Sciences → Computer Science → Computer Networks and Communications
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Parameterised Multiparty Session Types
Pierre-Malo DeniélouNobuko YoshidaAndi BejleriRaymond Hu
Journal: Logical Methods in Computer Science Year: 2012 Vol: Volume 8, Issue 4
BOOK-CHAPTER
Practical Parameterised Session Types
Lecture notes in computer science Year: 2010 Pages: 270-286
JOURNAL ARTICLE
Refining multiparty session types
Journal: Imperial College Research Computing Service Data Repository Year: 2023
JOURNAL ARTICLE
Multiparty asynchronous session types
Kohei HondaNobuko YoshidaMarco Carbone
Journal: ACM SIGPLAN Notices Year: 2008 Vol: 43 (1)Pages: 273-284
JOURNAL ARTICLE
Multiparty Asynchronous Session Types
Kohei HondaNobuko YoshidaMarco Carbone
Journal: Journal of the ACM Year: 2016 Vol: 63 (1)Pages: 1-67