Specification and verification of declarative open interaction models : a logic-based approach
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642145377
- Dimensions
-
24 cm
- Extent
-
XXII, 411 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in business information processing ; 56
- Keyword
-
Logische Programmierung
Computational logic
Verifikation
Formale Spezifikationstechnik
Deklarative Semantik
Wissensrepräsentation
Interaktionssystem
Prozessmanagement
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2010
- Creator
-
Montali, Marco
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:37 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Montali, Marco
- Springer
Time of origin
- 2010
Other Objects (12)
A temporal logic for the specification and verification of distributed behaviour
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Computer logic, testing and verification
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Specification and verification of concurrent systems
Process theory: semantics, specification and verification
Modeling interaction and causality : a two-level declarative approach
Software verification for programmable logic controllers
Software verification for programmable logic controllers
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Declo: A chatbot for user-friendly specification of declarative process models
Formal specification and verification of a microkernel
A temporal logic for the specification and verification of distributed behaviour
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Computer logic, testing and verification
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Specification and verification of concurrent systems
Process theory: semantics, specification and verification
Modeling interaction and causality : a two-level declarative approach
Software verification for programmable logic controllers
Software verification for programmable logic controllers
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Declo: A chatbot for user-friendly specification of declarative process models
Formal specification and verification of a microkernel
A temporal logic for the specification and verification of distributed behaviour
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Computer logic, testing and verification
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Specification and verification of concurrent systems
Process theory: semantics, specification and verification
Modeling interaction and causality : a two-level declarative approach
Software verification for programmable logic controllers
Software verification for programmable logic controllers
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Declo: A chatbot for user-friendly specification of declarative process models