Protocols by Default
- 1 January 2015
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 33 references indexed in Scilit:
- Parameterised Multiparty Session TypesLogical Methods in Computer Science, 2012
- Dynamic multirole session typesACM SIGPLAN Notices, 2011
- A survey of algorithmic skeleton frameworks: high‐level structured parallel programming enablersSoftware: Practice and Experience, 2010
- MPI as a Programming Model for High-Performance Reconfigurable ComputersACM Transactions on Reconfigurable Technology and Systems, 2010
- A view of the parallel computing landscapeCommunications of the ACM, 2009
- Formal verification of practical MPI programsACM SIGPLAN Notices, 2009
- VCC: A Practical System for Verifying Concurrent CLecture Notes in Computer Science, 2009
- Multiparty asynchronous session typesACM SIGPLAN Notices, 2008
- MARMOT: An MPI analysis and checking toolPublished by Elsevier BV ,2004
- OpenMP: an industry standard API for shared-memory programmingIEEE Computational Science and Engineering, 1998