Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by J.Y. Cotronis
Testing and Debugging Message Passing Programs in Synergy With Their Specifications
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Related publications
Verifying Message-Passing Programs With Dependent Behavioural Types
Incorporating Memory Layout in the Modeling of Message Passing Programs
MPICH-GQ: Quality-Of-Service for Message Passing Programs
On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parameter Learning With Truncated Message-Passing
Accelerated Large-Scale Inversion With Message Passing
Combinators for Message-Passing in Haskell
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Value-Passing Modal Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Stealth Debugging of Programs in Qemu Emulator With WinDbg Debugger
Proceedings of the Institute for System Programming of the RAS
