Grid protocols based on synchronous communication

Authors:
Jan A. Bergstra;Joris A. Hillebrand;Alban Ponse
Affiliations:
-;-;-
Venue:
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Year:
1997

The parallel composition of uniform processes with data

Theoretical Computer Science
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms

Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Grid Protocol Specifications

Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters

Hi-index	0.00