A new thesis concerning synchronised parallel computing – simplified parallel ASM thesis

A behavioural theory consists of machine-independent postulates characterizing a particular class of algorithms or systems, an abstract machine model that provably satisfies these postulates, and a rigorous proof that any algorithm or system stipulated by the postulates is captured by the abstract m...

Full description

Saved in:

Bibliographic Details
Published in:	Theoretical computer science Vol. 649; pp. 25 - 53
Main Authors:	Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 11.10.2016
Subjects:	Abstract machines Abstract state machine Algorithms ASM thesis Behavioural Behavioural theory Exploration Grounds Mathematical analysis Mathematical models Parallel algorithm Synchronous Parallel algorithm Behavioural theory ASM thesis Abstract state machine
ISSN:	0304-3975, 1879-2294
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!