Workshops in Computing

Specification and Verification of Concurrent Systems

Editors: Rattray, Charles (Ed.)

Buy this book

eBook $69.99 net
( price for USA )
  • ISBN 978-1-4471-3534-0
  • digitally watermarked, no DRM
  • included format: PDF
  • eBooks can be used on all Reading Devices
Softcover $99.00 net
( price for USA )
  • ISBN 978-3-540-19581-8
  • free shipping for individuals worldwide
  • usually dispatched within 3 to 5 business days
About this book

This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of practical concurrent systems. The wider application of these techniques serves to identify difficult problems that require new approaches to their solution and further developments in specification and verification. The Workshop aimed to capture this interplay by providing a forum for the exchange of the experience of academic and industrial experts in the field. Presentations included: surveys, original research, practical experi­ ence with methods, tools and environments in the following or related areas: Object-oriented, process, data and logic based models and specifi­ cation methods for concurrent systems Verification of concurrent systems Tools and environments for the analysis of concurrent systems Applications of specification languages to practical concurrent system design and development. We should like to thank the invited speakers and all the authors of the papers whose work contributed to making the Workshop such a success. We were particularly pleased with the international response to our call for papers. Invited Speakers Pierre America Philips Research Laboratories University of Warwick Professor M. Joseph David Freestone British Telecom Organising Committee Charles Rattray Dr Muffy Thomas Dr Simon Jones Dr John Cooke Professor Ken Turner Derek Coleman Maurice Naftalin Dr Peter Scharbach vi Preface We would like to aeknowledge the finaneial eontribution made by SD-Sysems Designers pie, Camberley, Surrey.

Free Preview

Buy this book

eBook $69.99 net
( price for USA )
  • ISBN 978-1-4471-3534-0
  • digitally watermarked, no DRM
  • included format: PDF
  • eBooks can be used on all Reading Devices
Softcover $99.00 net
( price for USA )
  • ISBN 978-3-540-19581-8
  • free shipping for individuals worldwide
  • usually dispatched within 3 to 5 business days

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Specification and Verification of Concurrent Systems
Series Title
Workshops in Computing
Copyright
1990
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag London
eBook ISBN
978-1-4471-3534-0
DOI
10.1007/978-1-4471-3534-0
Softcover ISBN
978-3-540-19581-8
Series ISSN
1431-1682
Edition Number
1
Topics