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

In: Electronic Notes in Theoretical Computer Science, Vol. 70, No. 3, 01.11.2002, p. 352-366.

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)352-366
Number of pages15
JournalElectronic Notes in Theoretical Computer Science
Issue number3
StatePublished - 1 Nov 2002
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 7188743