Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Guiding intellectual and personal growth across educational contexts

This book recognizes the importance of cooperative learning, in contrast to the traditional classroom, as an effective approach to learning. Its coverage of the subject ranges across the educational spectrum, from pre-school years to university, and offers a fresh perspective on a topic that has gained increasing interest worldwide. With contributions from an international panel of leading experts in the field, this engaging text succeeds in providing key insights, linking the theories that underpin the study of group dynamics to their practical application in the classroom. It presents a comprehensive overview of this alternative educative approach, illustrating how cooperative learning experiences can promote socialisation and friendships, and facilitate learning. The editors assemble a range of well-researched essays, covering such aspects as: * The importance of teacher and student interaction * Small group, virtual and non-virtual teaching environments * Assessment practices for measuring the outcomes of individual and group progress * The effect of cooperative learning on relationships amongst students with diverse cultural, social and learning needs. Illustrated with practical examples throughout, this book will be a crucial read for teacher educators, educational psychologists, student teachers, academics and researchers who want to realize the significant potential of cooperative learning in all educational settings.