Amanote Research
Register
Sign In
Verifying Message-Passing Programs With Dependent Behavioural Types
doi 10.1145/3314221.3322484
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2019
Authors
Alceste Scalas
Nobuko Yoshida
Elias Benussi
Publisher
ACM Press
Related search
On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Testing and Debugging Message Passing Programs in Synergy With Their Specifications
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
MPICH-GQ: Quality-Of-Service for Message Passing Programs
Incorporating Memory Layout in the Modeling of Message Passing Programs
Parameter Learning With Truncated Message-Passing
Accelerated Large-Scale Inversion With Message Passing
Equations for Asynchronous Message Passing
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Combinators for Message-Passing in Haskell
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Message-Passing Algorithms for Compressed Sensing
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
