Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras

L. Aceto, W.J. Fokkink, A. Ingólfsdóttir, M.R. Mousavi

Research output: Contribution to JournalArticleAcademicpeer-review

150 Downloads (Pure)
Original languageEnglish
Pages (from-to)301-316
JournalIFIP
Volume273
DOIs
Publication statusPublished - 2008

Bibliographical note

DBLP:conf/ifipTCS/AcetoFIM08
Proceedings title: Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy
Publisher: Springer
Editors: G. Ausiello, J. Karhumäki, G. Mauri, C.-H. Luke Ong

Cite this