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