Topology in Process Calculus
Topology in Process Calculus
Mingsheng Ying
Details
OL Work ID
OL19907384W
Subjects
Beweis
Korrektheit
Bisimulation
Prozessalgebra
Paralleles Programm
Find this book
Open Library