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)5-18
Number of pages14
JournalFormal Aspects of Computing
Volume16
Issue number1
DOIs
Publication statusPublished - 1 Apr 2004

Cite this