Stepwise refinement of mixed specifications of concurrent programs
Persistenter Link
https://doi.org/10.3929/ethz-a-000523421Publikationsstatus
publishedZeitschrift / Serie
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computer SystemeBand
Verlag
Eidgenössische Technische Hochschule ZürichThema
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)Organisationseinheit
02150 - Dep. Informatik / Dep. of Computer Science
Anmerkungen
Technical Reports D-INFK.ETH Bibliographie
yes
Altmetrics