This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Bi...

Formal Methods for Open Object-Based Distributed Systemspresents the leading edge in several re...

This book deals with the problem of finding suitable languages that can represent specific classe...

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on...

This book presents the fundamentals of concurrency theory with clarity and rigor. The authors sta...

This book presents the fundamentals of concurrency theory with clarity and rigor. The authors ...

This book presents the fundamentals of concurrency theory with clarity and rigor. The authors ...

Formal Methods for Open Object-Based Distributed Systemspresents the leading edge in s...

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference...

This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Bi...

Formal Methods for Open Object-Based Distributed Systemspresents the leading edge in s...

This book deals with the problem of finding suitable languages that can represent specific cla...