
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation
Mark-Oliver StehrVolume:
159
Année:
2006
Langue:
english
Pages:
25
DOI:
10.1016/j.entcs.2005.12.073
Fichier:
PDF, 370 KB
english, 2006