The following pages link to WSAT (Q13766):
Displaying 28 items.
- On deciding synchronizability for asynchronously communicating systems (Q344799) (← links)
- On the aggregation problem for synthesized web services (Q389232) (← links)
- An interface theory for service-oriented design (Q407507) (← links)
- A generic framework for \(n\)-protocol compatibility checking (Q433347) (← links)
- A formal model for service-oriented interactions (Q436383) (← links)
- Complexity of synthesis of composite service with correctness guarantee (Q439758) (← links)
- Reliability-aware automatic composition approach for web services (Q439793) (← links)
- Monitoring and recovery for web service applications (Q488218) (← links)
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Contracts for security adaptation (Q541291) (← links)
- On the computational complexity of behavioral description-based web service composition (Q650907) (← links)
- Conformance notions for the coordination of interaction components (Q967558) (← links)
- Formal semantics and analysis of control flow in WS-BPEL (Q997228) (← links)
- Automated verification of automata communicating via FIFO and bag buffers (Q1650866) (← links)
- Model checking conditional CSL for continuous-time Markov chains (Q1941693) (← links)
- An analytical method for well-formed workflow/Petri net verification of classical soundness (Q2018421) (← links)
- A controller synthesis framework for automated service composition (Q2177764) (← links)
- Minimum-cost delegation in service composition (Q2378522) (← links)
- A Rigorous Model of Service Component Architecture (Q2873686) (← links)
- (Q2888201) (← links)
- (Q2888203) (← links)
- Formal Methods to Improve Public Administration Business Processes (Q2889178) (← links)
- Synchronizability for Verification of Asynchronously Communicating Systems (Q2891401) (← links)
- Deciding choreography realizability (Q2942872) (← links)
- (Q2989007) (← links)
- Approaching simple and powerful service-computing<sup>1</sup> (Q3498554) (← links)
- Analysis of Realizability Conditions for Web Service Choreographies (Q3613058) (← links)
- Automated Technology for Verification and Analysis (Q5394169) (← links)
