Flow Logics and Operational Semantics

F. Nielson, H. Riis Nielson

TypeJournal paper [With referee]
JournalElectronic Notes of Theoretical Computer Science
Year1998    Vol. 10
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering