Axiomatizing GSOS with termination

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

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

15 Citaten (Scopus)

4 Downloads (Pure)

Originele taal-2	Engels
Pagina's (van-tot)	323-351
Tijdschrift	Journal of Logic and Algebraic Programming
Volume	60-61
DOI's	https://doi.org/10.1016/j.jlap.2004.03.001
Status	Gepubliceerd - 2004

Toegang tot 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",

}