LTSA-WS
From MaRDI portal
swMATH10585MaRDI QIDQ22544FDOQ22544
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1134408
Cited In (25)
- A WSDL-based type system for asynchronous WS-BPEL processes
- Contracts for security adaptation
- MDD4SOA. Model-driven development for service-oriented architectures.
- Towards verification of computation orchestration
- A generic framework for \(n\)-protocol compatibility checking
- LoLA
- BPEL2PN
- COWS
- Dist-Orc
- SWORD
- ITACA
- AIOCJ
- BESERIAL
- DCMTB
- SPY
- TyPiCal
- The evolution of Jolie. From orchestrations to adaptable choreographies
- AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee
- Transactional Reduction of Component Compositions
- Integrating topological proofs with model checking to instrument iterative design
- TOrPEDO
- FSP and FLTL framework for specification and verification of middle-agents
- TOrPEDO : witnessing model correctness with topological proofs
- MTSA
- Web Cube
This page was built for software: LTSA-WS
