|
|
|
|
|
|
Date Reviewed |
|
|
1 - 10 of 31
reviews
|
|
|
|
|
|
|
|
The local information dynamics of distributed computation in complex systems Lizier J., Springer Publishing Company, Incorporated, New York, NY, 2012. 258 pp. Type: Book (978-3-642329-51-7)
This book is based on the author’s doctoral dissertation at the University of Sydney, and presents a novel approach to quantifying the dynamics of distributed computation in complex systems. The central idea behind the approa...
|
Jul 17 2013 |
|
|
|
|
|
|
From semantics to computer science: essays in honour of Gilles Kahn Bertot Y., Huet G., Lévy J., Plotkin G., Cambridge University Press, New York, NY, 2009. 594 pp. Type: Book (978-0-521518-25-3)
Gilles Kahn made substantial contributions to the field of computing, and this book is dedicated to his memory. In this collection, the papers are either strongly related to Kahn’s interests, describe his influence on compute...
|
Jan 18 2011 |
|
|
|
|
|
|
Transitions and trees: an introduction to structural operational semantics Hüttel H., Cambridge University Press, New York, NY, 2010. 290 pp. Type: Book (978-0-521147-09-5)
The structural operational semantics of programming languages, together with the related proof techniques and semantic equivalences, are presented in this book....
|
Dec 1 2010 |
|
|
|
|
|
|
Introduction to discrete event systems (2nd ed.) Cassandras C., Lafortune S., Springer-Verlag New York, Inc., Secaucus, NJ, 2008. 776 pp. Type: Book (9780387333328)
A discrete event system is a mathematical device that communicates with its environment by atomic actions called events. These events are discrete in the sense that they occur instantaneously--as opposed to over a period of ti...
|
Oct 27 2009 |
|
|
|
|
|
|
Design concepts in programming languages Turbak F., Gifford D., The MIT Press, Cambridge, MA, 2008. 1200 pp. Type: Book (9780262201759)
This massive tome describes several concepts and techniques used in designing programming languages:...
|
Oct 5 2009 |
|
|
|
|
|
|
Principles of model checking (Representation and Mind Series) Baier C., Katoen J., The MIT Press, 2008. 975 pp. Type: Book (026202649X9780262026499)
Model checking is a formal technique for verifying the behavioral properties of a given system, on the basis of a suitable model of the system and a systematic inspection of all states of the model....
|
Jan 8 2009 |
|
|
|
|
|
|
Reactive systems: modelling, specification and verification Aceto L., Ingólfsdóttir A., Larsen K., Srba J., Cambridge University Press, New York, NY, 2007. 300 pp. Type: Book (9780521875462), Reviews: (2 of 2)
Reactive systems are systems whose behavior is not described algorithmically (by a relation between inputs and outputs), but rather by the way they continuously interact with the environment. The authors present and use some process ca...
|
Sep 25 2008 |
|
|
|
|
|
|
Semantics with applications: an appetizer (Undergraduate Topics in Computer Science) Nielson H., Nielson F., Springer-Verlag New York, Inc., Secaucus, NJ, 2007. 274 pp. Type: Book (9781846286919), Reviews: (3 of 3)
Programming languages come and go. One possibility for teaching students the main concepts of programming languages is to present the formal semantics of simple programming languages. Formal semantics helps students understand programm...
|
Jul 3 2008 |
|
|
|
|
|
|
Practical distributed processing (Undergraduate Topics in Computer Science) Brooke P., Paige R., Springer-Verlag New York, Inc., Secaucus, NJ, 2007. 262 pp. Type: Book (9781846288401)
We are living in a very diverse and dynamic world of computing, and a huge amount of information about distributed systems is now coming from journal articles and conference proceedings. There is a need for books and overviews to provi...
|
Apr 10 2008 |
|
|
|
|
|
|
A distributed pi-calculus Hennessy M., Cambridge University Press, New York, NY, 2007. 278 pp. Type: Book (9780521873307)
The book presents the foundations of distributed computation by using a formalism with which the concepts underlying interactive systems can be described and studied. This formalism is called asynchronous distributed pi-calculus, and i...
|
Aug 15 2007 |
|
|
|
|
|
|
|
|
|
|
|