Specification and verification of declarative open interaction models
Subtitle: a logic-based approach
By: Marco Montali
Series: Lecture notes in business information processing -- 56; Lecture notes in business information processing -- 56.
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 411
ISBN-13: 9783642145377
Subjects: Computer logic; Computational intelligence; Declarative programming languages; Management information systems
Notes: Includes bibliographical references and index.
Table of contents: title: pt. 1. Specification; title: pt. 2. Static verification; title: pt. 3. Run-time and a-posteriori verification; title: pt. 4. Conclusion and future work.