Sciweavers

2 search results - page 1 / 1
» On Weak Modal Compatibility, Refinement, and the MIO Workben...
Sort
View
TACAS
2010
Springer
169views Algorithms» more  TACAS 2010»
14 years 1 months ago
On Weak Modal Compatibility, Refinement, and the MIO Workbench
Sebastian S. Bauer, Philip Mayer, Andreas Schroede...
ENTCS
2010
82views more  ENTCS 2010»
13 years 6 months ago
A Strict-Observational Interface Theory for Analysing Service Orchestrations
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
Philip Mayer, Andreas Schroeder, Sebastian S. Baue...