A formal model for the parallel semantics of P3L

Authors:
A. Cavarra;E. Riccobene;A. Zavanella
Affiliations:
Dip. di Matematica e Informatica, Univerisità di Catania, Italy;Dip. di Matematica e Informatica, Univerisità di Catania, Italy;Dip. di Informatica, Univerisità di Pisa, Italy
Venue:
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Year:
2000

A bridging model for parallel computation

Communications of the ACM
LogP: towards a realistic model of parallel computation

PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Evolving algebras 1993: Lipari guide

Specification and validation methods
Structured development of parallel programs

Structured development of parallel programs
Modular design for the Java virtual machine architecture

Architecture design and validation methods
Parallel Programming Using Skeleton Functions

PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code

Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).

Introduction to the programming languages track (track introduction)

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
A verified library of algorithmic skeletons on evenly distributed arrays

ICA3PP'12 Proceedings of the 12th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I

Hi-index	0.00