Pages that link to "Item:Q5898625"
From MaRDI portal
The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5898625):
Displayed 4 items.
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- A type system for counting instances of software components (Q1758151) (← links)
- Spatial and behavioral types in the pi-calculus (Q1959478) (← links)
- A calculus for modeling floating authorizations (Q2329444) (← links)