The following pages link to Carlo Montangero (Q1249446):
Displayed 11 items.
- Information management in context trees (Q1249448) (← links)
- A refinement calculus for tuple spaces (Q1806133) (← links)
- Mark, a reasoning kit for mobility (Q1857293) (← links)
- Dynamically Evolvable Dependable Software: From Oxymoron to Reality (Q3507373) (← links)
- Logic–Based Detection of Conflicts in Appel Policies (Q3508531) (← links)
- (Q3601414) (← links)
- (Q4051641) (← links)
- (Q4066586) (← links)
- (Q4190109) (← links)
- An Approach to the Optimal Specification of Read-Only Memories in Microprogrammed Digital Computers (Q4770494) (← links)
- Coordination Models and Languages (Q5717730) (← links)