The following pages link to TulaFale (Q13730):
Displayed 11 items.
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- Formal specification of a web services protocol (Q861299) (← links)
- Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4--7, 2003. Revised lectures. (Q1774485) (← links)
- (Q2852371) (← links)
- A Chart Semantics for the Pi-Calculus (Q2864369) (← links)
- Security Protocol Verification: Symbolic and Computational Models (Q2894308) (← links)
- Verifying Cryptographic Protocols with Subterms Constraints (Q3498465) (← links)
- Towards an Automatic Analysis of Web Service Security (Q3525006) (← links)
- (Q5447364) (← links)
- A semantics for web services authentication (Q5892652) (← links)
- Foundations of Software Science and Computation Structures (Q5899104) (← links)