Stepwise refinement of mixed specifications of concurrent programs

Metadata Label Value
Author(s): Sanders, Beverly A.
Publisher: Eidgenössische Technische Hochschule Zürich
Citation:

Sanders, Beverly A.. Stepwise refinement of mixed specifications of concurrent programs. Eidgenössische Technische Hochschule Zürich (1989). http://dx.doi.org/10.3929/ethz-a-000523421

Document Type: Reports  
Documents: Text (1.41MB)
Import to Mendeley

Detailed Information

Metadata Description
Title Stepwise refinement of mixed specifications of concurrent programs
Author(s) Sanders, Beverly A.
Publication Place Zürich
Publisher Eidgenössische Technische Hochschule Zürich
Publication Date 1989
Series ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computer Systeme 116
Language English
DOI http://dx.doi.org/10.3929/ethz-a-000523421
Subject(s) Software
Keyword(s) CONCURRENT PROGRAMMING
SPECIFICATIONS
REFINEMENT
Organisational Unit Department of Computer Science
Online Publication Date 2011
Description File Name MIME Type Size
Text   eth-3207-01.pdf application/pdf 1.41MB
Abstract Views and Downloads
Views 31  abstracts
Downloads 19  downloads

Abstract Views and Downloads by Country
Views 16  abstracts
Downloads 10  downloads
Poland Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
China Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
South Africa Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
Taiwan Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads


E-Collection record created: Sat, 01 Oct 2011, 04:14:07 CET