This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2

Distributed systems intertwine with our everyday lives. The benefits and current shortcomings of the underpinning technologies are experienced by a wide range o

A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular p

This book constitutes the refereed proceedings of the 23nd International Symposium on Distributed Computing, DISC 2009, held in Elche, Spain, in September 2009.

This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th