Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2001
den Hartog, J.I. and de Vink, E.P. and de Bakker, J.W.
(2001)
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice.
In: MFCSIT2000, The First Irish Conference on the Mathematical Foundations of Computer Science and Information, Cork, Ireland.
pp. 72-99.
Electronic Notes in Theoretical Computer Science 40.
Elsevier.
ISSN 1571-0661
1999
den Hartog, J.I. and de Vink, E.P. and de Bakker, J.W.
(1999)
Full Abstractness of a Metric Semantics for Action Refinement.
Fundamenta Informaticae, 40.
pp. 335-382.
ISSN 0169-2968
*** ISI Impact 0,522 ***
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||