LTSA-WS
From MaRDI portal
Cited in
(28)- TOrPEDO
- WSAT
- PiDuce
- AutoSyn
- LoLA
- BPEL2PN
- COWS
- TOrPEDO : witnessing model correctness with topological proofs
- MTSA
- Dist-Orc
- SWORD
- ITACA
- AIOCJ
- BESERIAL
- FSP and FLTL framework for specification and verification of middle-agents
- MDD4SOA. Model-driven development for service-oriented architectures.
- DCMTB
- SPY
- TyPiCal
- Transactional Reduction of Component Compositions
- Web Cube
- A generic framework for n-protocol compatibility checking
- Integrating topological proofs with model checking to instrument iterative design
- The evolution of Jolie. From orchestrations to adaptable choreographies
- A WSDL-based type system for asynchronous WS-BPEL processes
- Contracts for security adaptation
- Towards verification of computation orchestration
- AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee
This page was built for software: LTSA-WS
