Communicating Sequential Processes. The First 25 Years
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. ...
اقرأ المزيد
Distributed Computing
This book covers all current issues in distributed computing, including theory, design, analysis, implementation, and application ...
اقرأ المزيد
Distributed Computing
This book covers all current issues in distributed computing, including theory, design, analysis, implementation, and application ...
اقرأ المزيد
Distributed Computing (vol. # 3724)
This book constitutes the refereed proceedings of the 19th International Conference on Distributed Computing, DISC 2005, ...
اقرأ المزيد
Distributed Computing (vol. # 4167)
DISC, the International Symposium on DIStributed Computing, is an annual forum for presentation of research on all facets ...
اقرأ المزيد
Distributed Computing : 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 22nd International Symposium on Distributed Computing, DISC 2008, held ...
اقرأ المزيد
Multiparadigm Programming in Mozart
Oz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting ...
اقرأ المزيد
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
اقرأ المزيد
