Yazar
Joachim Parrow
6 cilt bulundu.
Cilt sonuçları
Formal techniques in real-time and fault-tolerant systems
Joachim Parrow · Springer
478 sayfa · 1996
Congresses / Real-time data processing / Fault-tolerant computing
Submodule construction as equation solving in CCS
Joachim Parrow · University of Edinburgh, Laboratory for Foundations of Computer Science
28 sayfa · 1987
Kategori yok
Synchronisation flow algebra
Joachim Parrow · University of Edinburgh, Laboratory for Foundations of Computer Science
67 sayfa · 1987
Kategori yok
Algebraic theories for name-passing calculi
Joachim Parrow · LFCS, Dept. of Computer Science, University of Edinburgh
59 sayfa · 1993
Lambda calculus / Parallel processing (Electronic computers)
Verifying a CSMA/CD protocol with CCS
Joachim Parrow · University of Edinburgh, Laboratory for Foundations of Computer Science
13 sayfa · 1987
Kategori yok
Automata, Languages and Programming
Jos C.M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger · Springer London, Limited
1199 sayfa · 2003
Kategori yok