Axiomatizing GSOS with termination

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

15 Citaten (Scopus)

6 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",

}