Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fiel...

This Festschrift volume contains 28 refereed papers including personal memories, essays, and regu...

This volume contains the proceedings of the Fifth International Conference on Coordination Models...

This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. Th...

This book presents joint works of members of the software engineering and formal methods communit...

This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includ...

This book presents joint works of members of the software engineering and formal methods communit...