Stepwise refinement of mixed specifications of concurrent programs
Permanent link
https://doi.org/10.3929/ethz-a-000523421Publication status
publishedJournal / series
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computer SystemeVolume
Publisher
Eidgenössische Technische Hochschule ZürichSubject
SPEZIFIKATIONEN (SOFTWARE ENGINEERING); REFINEMENT (SOFTWARE ENGINEERING); SPECIFICATIONS (SOFTWARE ENGINEERING); VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS); VERFEINERUNG (SOFTWARE ENGINEERING)Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
Notes
Technical Reports D-INFK.More
Show all metadata
ETH Bibliography
yes
Altmetrics