Yazar
Rance Cleaveland
6 cilt bulundu.
Cilt sonuçları
Tools and Algorithms for the Construction of Analysis of Systems
W. Rance Cleaveland · Springer
445 sayfa · 1999
Development / Congresses / System design / Computer software
Priority in process algebras
Rance Cleaveland · National Technical Information Service, distributor
Sayfa sayısı yok · 1999
Calculus / Surveys / Selection / Algorithms / Real time operation
A logical process calculus
Rance Cleaveland · Institute for Computer Applications in Science and Engineering, NASA Langley Research Center
Sayfa sayısı yok · 2001
Algebra / Heterogeneity / Specifications
The concurrency workbench
Rance Cleaveland · University of Edinburgh, Laboratory for Foundations of Computer Science
24 sayfa · 1989
Kategori yok
Concur '92: Third International Conference on Concurrency Theory, Stony Brook, Ny, Usa, August 1992
W. Rance Cleaveland · Springer
580 sayfa · 1992
Parallel processing (Electronic computers) / Congresses