http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
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.
Information Systems and Communication Service
Information Systems Applications (incl. Internet)