456 search results - page 6 / 92 » Semantic Foundations of Jade |
WSC
2004
13 years 8 months ago
2004
Federated simulations address the need for interoperability, as well as the improvement of reuse and composability of existing simulation models. The focal goal in a federated sim...
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
CALCO
2009
Springer
14 years 2 months ago
2009
Springer
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
PEPM
1995
ACM
13 years 11 months ago
1995
ACM
