Related Books

Relating State Transformation Semantics and Predicate Transformer Semantics for Parallel Programs
Language: en
Pages: 20

Relating State Transformation Semantics and Predicate Transformer Semantics for Parallel Programs

Authors: Franciscus Cornelus Breugel
Categories: Parallel programming (Computer science)
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

Relating State Transformation Semantics and Predicate Transformer Semantics for Parallel Programs
Language: en
Pages: 20

Relating State Transformation Semantics and Predicate Transformer Semantics for Parallel Programs

Authors: Franck van Breugel
Categories: Parallel programming (Computer science)
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

Abstract: "A state transformation semantics and a predicate transformer semantics for programs built from atomic actions, sequential composition, nondeterminist
Scientific and Technical Aerospace Reports
Language: en
Pages: 704

Scientific and Technical Aerospace Reports

Authors:
Categories: Aeronautics
Type: BOOK - Published: 1995 - Publisher:

DOWNLOAD EBOOK

Report CS-R
Language: en
Pages: 304

Report CS-R

Authors:
Categories: Computers
Type: BOOK - Published: 1984 - Publisher:

DOWNLOAD EBOOK

CWI Quarterly
Language: en
Pages: 476

CWI Quarterly

Authors:
Categories: Computers
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK