Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alceste Scalas
Verifying Message-Passing Programs With Dependent Behavioural Types
Related publications
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
