Superposition: Composition vs refinement of non-deterministic, action-based systems

A. Lopes, J.L. Fiadeiro

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)352-366
Number of pages15
JournalElectronic Notes in Theoretical Computer Science
Volume70
Issue number3
DOIs
Publication statusPublished - 1 Nov 2002

Cite this