Blueprint for Action: Achieving Center-Based Change Through Staff Development by Paula Jorde Bloom

Blueprint for Action: Achieving Center-Based Change Through Staff Development by Paula Jorde Bloom

In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings.The main contributions of this book are twofold.

i) We design a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations.

ii) We define an encoding of the session pi-calculus, which models communication in distributed systems, into the standard typed pi-calculus. We use this encoding to derive properties like type safety and progress in the session pi-calculus by exploiting the corresponding properties in the standard typed pi-calculus.

Teri N. Talan is Assistant Professor of Early Childhood Education and Director of Research and Public Policy for the McCormick Tribune Center for Early Childhood Leadership at National-Louis University in Wheeling, Illinois. Paula Jorde Bloom is the Michael W. Louis Endowed Chair of the McCormick Tribune Center for Early Childhood Leadership and Professor of Early Childhood Education at National-Louis University. They are the authors of the bestselling Program Administration Scale: Measuring Early Childhood Leadership and Management (PAS).

SKU	Unavailable
ISBN 13	9780962189487
ISBN 10	0962189480
Title	Blueprint for Action: Achieving Center-Based Change Through Staff Development
Author	Paula Jorde Bloom
Condition	Unavailable
Binding Type	Paperback
Publisher	New Horizons
Year published	2005-01-01
Number of pages	305
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.