Communication between processes in a distributed environment is implemented using either shared memory or message passing paradigm. The message passing paradigm is used more often due to the lesser hardware requirements. MPI is a standardized message passing API with several independent implementations. Specification and verification of distributed systems is generally a challenging task. In this paper we present a case study of specification and verification of MPI based software using abstract state machines (ASMs). © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Grudenic, I., & Bogunovic, N. (2006). Modeling and verification of MPI based distributed software. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4192 LNCS, pp. 123–132). Springer Verlag. https://doi.org/10.1007/11846802_23
Mendeley helps you to discover research relevant for your work.