Superposition : Composition vs refinement of non-deterministic, action-based systems. / Lopes, A.; Fiadeiro, J.L.

In: Formal Aspects of Computing, Vol. 16, No. 1, 01.04.2004, p. 5-18.

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)5-18
Number of pages14
JournalFormal Aspects of Computing
Issue number1
Publication statusPublished - 1 Apr 2004
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 7188860