BOOK-CHAPTER
Timed Multiparty Session Types
Laura BocchiWeizhen YangNobuko Yoshida
Year: 2014 Lecture notes in computer science Pages: 419-434 Publisher: Springer Science+Business Media
Keywords:
Liveness Computer science Decidability Modular design Implementation Session (web analytics) Theoretical computer science Type theory Type safety Simple (philosophy) Class (philosophy) Asynchronous communication Distributed computing Programming language Type (biology) Computer network Artificial intelligence
Metrics
48
Cited By
8.41
FWCI (Field Weighted Citation Impact)
35
Refs
0.98
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Real-Time Systems Scheduling
Physical Sciences → Computer Science → Hardware and Architecture
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
DISSERTATION
Timed and choreographical multiparty session types theory
University: Spiral (Imperial College London) Year: 2016
JOURNAL ARTICLE
Synchronous, asynchronous and timed affine multiparty session types
Journal: Imperial College Research Computing Service Data Repository Year: 2023
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
BOOK-CHAPTER
Parameterised Multiparty Session Types
Nobuko YoshidaPierre-Malo DeniélouAndi BejleriRaymond Hu
Lecture notes in computer science Year: 2010 Pages: 128-145