680 search results - page 72 / 136 » Types for the Ambient Calculus |
FIDJI
2004
Springer
14 years 2 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
ASIAN
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space ...
LOGCOM
2007
13 years 9 months ago
2007
Structural causal models offer a popular framework for exploring causal concepts. However, due to their limited expressiveness, structural models have difficulties coping with su...
ICFP
2004
ACM
14 years 9 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
CIE
2006
Springer
14 years 24 days ago
2006
Springer
We introduce two hierarchies of unknown ordinal height. The hierarchies are induced by natural fragments of a calculus based on finite types and G