Modeling and verification of parallel processes
: 4th summer school ; revised tutorial lectures / MOVEP 2000, Nantes, France, June 19 - 23, 2000. F. Cassez ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2067)
ISBN 978-3-540-45510-3
Lizenzpflichtig
Quelle: DNB
Object based models and languages for concurrent systems
: proceedings / ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Paolo Ciancarini ... (ed.). - Berlin : Springer, 1995. - 193 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 924)
ISBN 978-3-540-59450-5 / 3-540-59450-7 kart. : DM 46.00
Literaturangaben
Quelle: DNB
Quantitative methods in parallel systems
/ F. Baccelli ... (ed.). - Berlin : Springer, 1995. - XX, 298 S. : graph. Darst.; 24 cm - (ESPRIT basic research series)
ISBN 978-3-540-60125-8 / 3-540-60125-2 Pp. : DM 78.00
Literaturangaben
Quelle: DNB
Trescher, Joachim: Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer Systeme
/ Joachim Trescher. GMD-Forschungszentrum Informationstechnik GmbH. - München : Oldenbourg, 1996. - X, 206 S. : graph. Darst. - (GMD-Bericht; Nr. 257)
ISBN 978-3-486-23839-6 / 3-486-23839-6 kart. : DM 60.00
Quelle: DNB