Metric semantics and full abstractness for action refinement and probabilistic choice

J.I. Hartog, den; E.P. Vink, de; J.W. Bakker, de

doi:10.1016/S1571-0661(05)80038-6

Metric semantics and full abstractness for action refinement and probabilistic choice

J.I. Hartog, den
, E.P. Vink, de
, J.W. Bakker, de

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2000, Cork, Ireland, July 20-21, 2000)
Editors	T. Hurley, M. Mac an Airchinnigh, M. Schellekens, A. Seda
Pages	72-99
DOIs	https://doi.org/10.1016/S1571-0661(05)80038-6
Publication status	Published - 2001

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	40
ISSN (Print)	1571-0061

Access to Document

10.1016/S1571-0661(05)80038-6

Cite this

Hartog, den, J. I., Vink, de, E. P., & Bakker, de, J. W. (2001). Metric semantics and full abstractness for action refinement and probabilistic choice. In T. Hurley, M. Mac an Airchinnigh, M. Schellekens, & A. Seda (Eds.), Proceedings of The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2000, Cork, Ireland, July 20-21, 2000) (pp. 72-99). (Electronic Notes in Theoretical Computer Science; Vol. 40). https://doi.org/10.1016/S1571-0661(05)80038-6

Hartog, den, J.I. ; Vink, de, E.P. ; Bakker, de, J.W. / Metric semantics and full abstractness for action refinement and probabilistic choice. Proceedings of The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2000, Cork, Ireland, July 20-21, 2000). editor / T. Hurley ; M. Mac an Airchinnigh ; M. Schellekens ; A. Seda. 2001. pp. 72-99 (Electronic Notes in Theoretical Computer Science).

@inproceedings{5573e08ad94e4cba839f601144a5fd2a,

title = "Metric semantics and full abstractness for action refinement and probabilistic choice",

author = "\{Hartog, den\}, J.I. and \{Vink, de\}, E.P. and \{Bakker, de\}, J.W.",

year = "2001",

doi = "10.1016/S1571-0661(05)80038-6",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "72--99",

editor = "T. Hurley and \{Mac an Airchinnigh\}, M. and M. Schellekens and A. Seda",

booktitle = "Proceedings of The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2000, Cork, Ireland, July 20-21, 2000)",

}

Hartog, den, JI , Vink, de, EP & Bakker, de, JW 2001, Metric semantics and full abstractness for action refinement and probabilistic choice. in T Hurley, M Mac an Airchinnigh, M Schellekens & A Seda (eds), Proceedings of The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2000, Cork, Ireland, July 20-21, 2000). Electronic Notes in Theoretical Computer Science, vol. 40, pp. 72-99. https://doi.org/10.1016/S1571-0661(05)80038-6

Metric semantics and full abstractness for action refinement and probabilistic choice. / Hartog, den, J.I.; Vink, de, E.P.; Bakker, de, J.W.
Proceedings of The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2000, Cork, Ireland, July 20-21, 2000). ed. / T. Hurley; M. Mac an Airchinnigh; M. Schellekens; A. Seda. 2001. p. 72-99 (Electronic Notes in Theoretical Computer Science; Vol. 40).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Metric semantics and full abstractness for action refinement and probabilistic choice

AU - Hartog, den, J.I.

AU - Vink, de, E.P.

AU - Bakker, de, J.W.

PY - 2001

Y1 - 2001

U2 - 10.1016/S1571-0661(05)80038-6

DO - 10.1016/S1571-0661(05)80038-6

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 72

EP - 99

BT - Proceedings of The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2000, Cork, Ireland, July 20-21, 2000)

A2 - Hurley, T.

A2 - Mac an Airchinnigh, M.

A2 - Schellekens, M.

A2 - Seda, A.

ER -

Hartog, den JI , Vink, de EP, Bakker, de JW. Metric semantics and full abstractness for action refinement and probabilistic choice. In Hurley T, Mac an Airchinnigh M, Schellekens M, Seda A, editors, Proceedings of The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2000, Cork, Ireland, July 20-21, 2000). 2001. p. 72-99. (Electronic Notes in Theoretical Computer Science). doi: 10.1016/S1571-0661(05)80038-6