Axiomatizing GSOS with Termination (2004)

Cached

Download Links

by J.C.M. Baeten , E.P. de Vink
Venue:THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Citations:22 - 1 self

Document Versions

Axiomatizing GSOS with Termination –J.C.M. Baeten , E.P. de Vink — 2004 — THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Axiomatizing GSOS with termination –J.C.M. Baeten, E.P. de Vink — 2002 — International Symposium on Theoretical Aspects of Computer Science (STACS) 2002, number 2285 in Lect. Notes Comp. Sci