Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour

Research output: Contribution to journal › Article › peer-review

Original language	Undefined/Unknown
Pages (from-to)	353-373
Number of pages	21
Journal	Mathematical Structures in Computer Science
Volume	6
Issue number	4
Publication status	Published - 1996

Cite this

@article{0c0eafb96e0d45799f8962ebe418b194,

title = "Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour",

author = "Fiadeiro, {Jos{\'e} Luiz} and Costa, {Jos{\'e} F{\'e}lix}",

year = "1996",

language = "Undefined/Unknown",

volume = "6",

pages = "353--373",

journal = "Mathematical Structures in Computer Science",

issn = "1469-8072",

publisher = "Cambridge University Press",

number = "4",

}