Topology in Process Calculus
Approximate Correctness and Infinite Evolution of Concurrent Programs
Buch in deiner Nähe kaufen
Beschreibung
A monograph presenting new concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Professionals, researchers and graduate students in theoretical computer science will find the discussion helpful for developing new concepts for concurrent and real-time systems.
Autor*in
Mingsheng Ying
Themen in »Topology in Process Calculus«
Finite Topology calculus computer science design formal methods language proof semantics simulation testing theorem theoretical computer science