114
Voted
ICCAD
1996
IEEE
15 years 7 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...