by FORTE 2001 (2001 Cheju-do, Korea)
This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the fo…