Algebra of communicating processes

: proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16 - 17 May 1994 / A. Ponse ... (ed.) Publ. in collab. with the British Computer Society. - London : Springer, 1995. - X, 357 S. : graph. Darst.; 24 cm - (Workshops in Computing)

ISBN 978-3-540-19909-0 / 3-540-19909-8 kart. : DM 98.00

Literaturangaben

Quelle: DNB

Burkart, Olaf: Automatic verification of sequential infinite state processes

/ Olaf Burkart. - Berlin : Springer, 1997. - X, 163 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1354)

ISBN 978-3-540-63982-4 / 3-540-63982-9 kart. : DM 50.00

Quelle: DNB

Burkart, Olaf: Automatic verification of sequential infinite state processes

/ O. Burkart. - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1354)

ISBN 978-3-540-69678-0

Lizenzpflichtig

Quelle: DNB

Hermanns, Holger: Interactive Markov chains and the quest for quantified quality

/ Holger Hermanns. - Berlin : Springer, 2002. - XII, 217 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2428)

ISBN 978-3-540-44261-5 / 3-540-44261-8 kart. : EUR 38.52

Literaturverz. S. 207 - 217

Quelle: DNB

Interactive Markov chains and the quest for quantified quality

/ H. Hermanns. - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2428)

ISBN 978-3-540-45804-3

Lizenzpflichtig

Quelle: DNB

Gray, David: Introduction to the formal design of real time systems

/ David Gray. - London : Springer, 1999. - XIII, 461 S. : Ill., graph. Darst.; 24 cm - (Applied computing)

ISBN 978-3-540-76140-2 / 3-540-76140-3 kart. : DM 98.00

Literaturverz. S. 451 - 454

Quelle: DNB

Fokkink, Willem J.: Modelling distributed systems

: with 7 tables / Wan Fokkink. - Berlin : Springer, 2007. - VIII, 151 S. : graph. Darst.; 24 cm - (Texts in theoretical computer science)

ISBN 978-3-540-73937-1 / 3-540-73937-8 Pp. : EUR 53.45, ca. sfr 87.00 (freier Pr.)

Literaturverz. S. 143 - 148

Quelle: DNB Verlagsmeldungen

Process algebra and probabilistic methods

: performance modeling and verification ; joint international workshop ; proceedings / PAPM PROBMIV 2001, Aachen, Germany, September 12 - 14, 2001. Luca de Alfaro ; Stephen Gilmore (ed.). - Berlin : Springer, 2001. - XII, 215 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2165)

ISBN 978-3-540-42556-4 / 3-540-42556-X kart. : DM 70.62

Quelle: DNB

Process algebra and probabilistic methods

: performance modeling and verification ; joint international workshop ; proceedings / PAPM PROBMIV 2001, Aachen, Germany, September 12 - 14, 2001. L. de Alfaro ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2165)

ISBN 978-3-540-44804-4

Lizenzpflichtig

Quelle: DNB

Process algebra and probabilistic methods

: performance modeling and verification ; second joint international workshop ; proceedings / PAPM PROBMIV 2002, Copenhagen, Denmark, July 25 - 26, 2002. H. Hermanns ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2399)

ISBN 978-3-540-45605-6

Lizenzpflichtig

Quelle: DNB