default search action

combined dblp search
author search
venue search
publication search

ask others

WS-FM 2007: Brisbane, Australia

> 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/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/2007
Marlon Dumas, Reiko Heckel:
Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings. Lecture Notes in Computer Science 4937, Springer 2008, ISBN 978-3-540-79229-1
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/SuBFZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/SuBFZ07
Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao:
Towards a Theory of Web Service Choreographies. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Desel07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Desel07
Jörg Desel:
Controlling Petri Net Process Models. 17-30
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/HalleVCTG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/HalleVCTG07
Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour:
Extending Model Checking to Data-Aware Temporal Properties of Web Services. 31-45
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/LohmannKLR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/LohmannKLR07
Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig:
Analyzing BPEL4Chor: Verification and Participant Synthesis. 46-60
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/LiZLH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/LiZLH07
Qin Li, Huibiao Zhu, Jing Li, Jifeng He:
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. 61-76
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/Lohmann07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/Lohmann07
Niels Lohmann:
A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. 77-91
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BocchiHLF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BocchiHLF07
Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro:
From BPEL to SRML: A Formal Transformational Approach. 92-107
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/TasharofiVMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/TasharofiVMS07
Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Marjan Sirjani:
Modeling Web Service Interactions Using the Coordination Language Reo. 108-123
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/MartinelliM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/MartinelliM07
Fabio Martinelli, Ilaria Matteucci:
Synthesis of Web Services Orchestrators in a Timed Setting. 124-138
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/AalstLMSW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/AalstLMSW07
Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf:
From Public Views to Private Views - Correctness-by-Design for Services. 139-153
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/RosarioKBCHJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/RosarioKBCHJ07
Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard:
Event Structure Semantics of Orc. 154-168

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.