Type-Based Verification of Message-Passing Parallel Programs
We present a type-based approach to the verification of the communication structure of parallel programs. We model parallel imperative programs where a fixed number of processes, each equipped with its local memory, communicates via a rich diversity of primitives, including point-to-point messages,...
| Autor principal: | |
|---|---|
| Outros Autores: | , , , , |
| Formato: | report |
| Idioma: | eng |
| Publicado em: |
2014
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/10451/14194 |
| País: | Portugal |
| Oai: | oai:repositorio.ul.pt:10451/14194 |