Topology in Process Calculus
Subtitle: Approximate Correctness and Infinite Evolution of Concurrent Programs
Publisher: Springer New York
Published: 2001
Place of publication: New York, NY
Language: ger
Format: [Elektronische Ressource]
ISBN-13: 9781461301233
Subjects: Beweis; Korrektheit; Bisimulation; Prozessalgebra; Paralleles Programm
Notes: Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA