Author: James Richard BuffenbargerPublisher:
ISBN:
Category :
Languages : en
Pages : 672
Book Description
Equational Specification and Verification of Concurrent Systems
Author: James Richard BuffenbargerPublisher:
ISBN:
Category :
Languages : en
Pages : 672
Book Description
Specification and Verification of Concurrent Systems
Author: Charles RattrayPublisher: Springer Science & Business Media
ISBN: 1447135342
Category : Computers
Languages : en
Pages : 620
Book Description
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.
A Functional Programming Approach to the Specification and Verification of Concurrent Systems
Author: Peter DybjerFormal Specification and Verification of Concurrent Systems
Author: Harpreet Singh ChadhaPublisher:
ISBN:
Category :
Languages : en
Pages : 214
Book Description
Formal Description Techniques and Protocol Specification, Testing and Verification
Author: Stan BudkowskiPublisher: Springer Science & Business Media
ISBN: 9780412847608
Category : Technology & Engineering
Languages : en
Pages : 486
Book Description
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies. Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France. Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.
Topics in the Specification and Verification of Concurrent Systems
Author: Shipei ZhangPublisher:
ISBN:
Category : Computer algorithms
Languages : en
Pages : 234
Book Description
Equational Specification and Verification of Digital Systems
Author: Victoria StavridouThe Analysis of Concurrent Systems
Author: B.T. DenvirPublisher: Springer Science & Business Media
ISBN: 9783540160472
Category : Computers
Languages : en
Pages : 70
Book Description
Logics and Models for Verification and Specification of Concurrent Systems
Author: Institut national de recherche en informatique et en automatique (France)Publisher:
ISBN:
Category :
Languages : en
Pages : 404
Book Description
Specification of Parallel Algorithms
Author: Guy E. BlellochPublisher: American Mathematical Soc.
ISBN: 0821802534
Category : Computers
Languages : en
Pages : 413
Book Description
This volume contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. The goal of the workshop was to bring together some of the best researchers in parallel languages, algorithms, and systems to present and discuss recent developments in their areas of expertise. Among the topics discussed were new specification techniques for concurrent and distributed systems, behavioral and operational specification techniques, new parallel language and system abstractions, novel concurrent architectures and systems, large-scale parallel systems, specification tools and environments, and proof techniques for concurrent systems.