Pages that link to "Item:Q5310663"
From MaRDI portal
The following pages link to Resource Usage Analysis for the Pi-Calculus (Q5310663):
Displaying 7 items.
- A new type system for JVM lock primitives (Q949169) (← links)
- \( \pi\) with leftovers: a mechanisation in Agda (Q2117018) (← links)
- Uniqueness typing for resource management in message-passing concurrency (Q2937684) (← links)
- A Type System for Usage of Software Components (Q3638253) (← links)
- Resource usage analysis (Q5178917) (← links)
- A Resource Analysis of the π-calculus (Q5739364) (← links)
- A Calculus for Modeling Floating Authorizations (Q5881536) (← links)