LTSA-WS
From MaRDI portal
Software:22544
swMATH10585MaRDI QIDQ22544FDOQ22544
Author name not available (Why is that?)
Cited In (12)
- 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
- 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
- FSP and FLTL framework for specification and verification of middle-agents
- TOrPEDO : witnessing model correctness with topological proofs
- Web Cube
This page was built for software: LTSA-WS
