Mirror, mirror in my hand: a duality between specifications and models of process behaviour†. Published online by Cambridge University Press: 04 March 2009.

Dive into the research topics of 'Mirror, mirror in my hand: a duality between specifications and models of process behaviour'. Together they form a unique ...

Hence, there is a duality between the two semantic domains that we built: the domain of specifications as temporal theories and the domain of behaviours as sets ...

Mirror, mirror in my hand: a duality between specifications and models of process behaviour^. J. L. FIADEIRO and J. F. COSTA. Department of Informatics ...

(1996). Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour. Mathematical Structures in Computer Science, 6(4), 353-373.

Article. Mirror, mirror in my hand... a duality between specifications and models of process behaviour. Mathematical Structures in Computer Science.

Mirror, mirror in my hand: A duality between specifications and models of process behaviour. JL Fiadeiro, JF Costa. Mathematical Structures in Computer Science ...

Mirror, mirror in my hand: a duality between specifications and models of process behaviour · Computer Science. Mathematical Structures in Computer Science · 1996.

Mirror, mirror in my hand... a duality between specifications and models of process behaviour. Mathematical Structures in Computer Science, 6:353–373, 1996 ...

Sep 7, 2005 · Costa, “Mirror, Mirror in my Hand: a duality between specifications and models of process behaviour”, in Mathematical Structures in Computer ...