An introduction to metric semantics: operational and denotational models for programming and specification languages
2001 ◽
Vol 258
(1-2)
◽
pp. 1-98
◽
Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment
2021 ◽
Vol 30
(4)
◽
pp. 1-29
2015 ◽
Vol 15
(4-5)
◽
pp. 681-695
◽
Keyword(s):
Keyword(s):
1995 ◽
Vol 5
(2)
◽
pp. 153-188
◽
Keyword(s):
Keyword(s):