Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 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
This list was generated on Thu May 24 08:05:15 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||