Web Services and Formal Methods [electronic resource] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / edited by Cosimo Laneve, Jianwen Su.
Material type:
TextSeries: Lecture Notes in Computer Science ; 6194Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: VII, 197p. 60 illus. online resourceContent type: - text
- computer
- online resource
- 9783642144585
- Computer science
- Computer Communication Networks
- Software engineering
- Information systems
- Information storage and retrieval systems
- Multimedia systems
- Computer Science
- Information Systems and Communication Service
- Information Systems Applications (incl.Internet)
- Computer Communication Networks
- Information Storage and Retrieval
- Software Engineering
- Multimedia Information Systems
- 005.7 23
- QA75.5-76.95
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK9165 |
Sessions and Session Types: An Overview -- Choreography Rehearsal -- A Graph Syntax for Processes and Services -- A Formalisation of Adaptable Pervasive Flows -- Compliance Preorders for Web Services -- A Formal Semantics for the WS-BPEL Recovery Framework -- Realizability Is Controllability -- Specification and Verification of Multi-user Data-Driven Web Applications -- Automated Composition of Nondeterministic Stateful Services -- Towards Compensation Correctness in Interactive Systems -- Small Specifications for Tree Update.
There are no comments on this title.