- Tytuł:
- Full abstrctness of a metric semantics for action refinement
- Autorzy:
-
Hartog, J.I. den
Vink, E.P. de
Bakker, J.W. de - Data publikacji:
- 1999
- Słowa kluczowe:
-
operational semantics
denotational semantics
metric topology
action refinement
full abstractness
semantical refinement - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł