77
Voted
DAGSTUHL
2003
15 years 11 days ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...