Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

WS-FM 2013: Beijing, China

> Home > Conferences and Workshops > WS-FM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/2013
Emilio Tuosto, Chun Ouyang:
Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Lecture Notes in Computer Science 8379, Springer 2014, ISBN 978-3-319-08259-2

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Huang13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Huang13
Weicheng Huang:
The Development of Cloud Computing in Pacific Rim. 3-12
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/SuS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/SuS13
Jianwen Su, Yutian Sun:
Choreography Revisited. 13-25

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BocchiM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BocchiM13
Laura Bocchi, Hernán C. Melgratti:
On the Behaviour of General-Purpose Applications on Cloud Storages. 29-47
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Bravetti13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Bravetti13
Mario Bravetti:
Formalizing RESTful Services and Web-OS Middleware. 48-68
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/KunzeW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/KunzeW13
Matthias Kunze, Mathias Weske:
Visualization of Successor Relations in Business Process Models. 69-84
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/MargheriMPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/MargheriMPT13
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi:
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -. 85-105
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/MichauxNF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/MichauxNF13
Jonathan Michaux, Elie Najm, Alessandro Fantechi:
Safe Session-Based Service Orchestration with Unreliable Communication. 106-126
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/WangH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/WangH13
Wusheng Wang, Thomas T. Hildebrandt:
Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems. 127-146
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/XuYL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/XuYL13
Xian Xu, Qiang Yin, Huan Long:
On the Expressiveness of Parameterization in Process-Passing. 147-167
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/YuCW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/YuCW13
Hengbiao Yu, Zhenbang Chen, Ji Wang:
An Operational Semantics for Model Checking Long Running Transactions. 168-187

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.