Pages that link to "Item:Q5311305"
From MaRDI portal
The following pages link to Formal Methods for Components and Objects (Q5311305):
Displayed 6 items.
- TulaFale (Q13730) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- Formal specification of a web services protocol (Q861299) (← links)
- A Chart Semantics for the Pi-Calculus (Q2864369) (← links)
- Verifying Cryptographic Protocols with Subterms Constraints (Q3498465) (← links)
- A semantics for web services authentication (Q5892652) (← links)