Axiomatizing GSOS with termination

J.C.M. Baeten, E.P. Vink, de

Research output: Contribution to journal › Article › Academic › peer-review

15 Citations (Scopus)

4 Downloads (Pure)

Original language	English
Pages (from-to)	323-351
Journal	Journal of Logic and Algebraic Programming
Volume	60-61
DOIs	https://doi.org/10.1016/j.jlap.2004.03.001
Publication status	Published - 2004

Access to Document

@article{b09d4babc5414e6c979911608f252992,

title = "Axiomatizing GSOS with termination",

author = "J.C.M. Baeten and {Vink, de}, E.P.",

year = "2004",

doi = "10.1016/j.jlap.2004.03.001",

language = "English",

volume = "60-61",

pages = "323--351",

journal = "Journal of Logic and Algebraic Programming",

issn = "1567-8326",

publisher = "Elsevier",

}