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,...

Full description

Bibliographic Details
Main Author: Vasconcelos, Vasco T. (author)
Other Authors: Martins, Francisco (author), Marques, Eduardo R. B. (author), López, Hugo A. (author), Santos, César (author), Yoshida, Nobuko (author)
Format: report
Language:eng
Published: 2014
Subjects:
session types
message passing
type-based verification
parallel programs
Online Access:http://hdl.handle.net/10451/14194
Country:Portugal
Oai:oai:repositorio.ul.pt:10451/14194

Internet

http://hdl.handle.net/10451/14194

Similar Items