LTSA-WS
From MaRDI portal
Software:22544
swMATH10585MaRDI QIDQ22544FDOQ22544
Author name not available (Why is that?)
Cited In (12)
- Title not available (Why is that?)
- A WSDL-based type system for asynchronous WS-BPEL processes
- Contracts for security adaptation
- The Evolution of Jolie
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design
- Towards verification of computation orchestration
- A generic framework for \(n\)-protocol compatibility checking
- AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee
- Transactional Reduction of Component Compositions
- 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
