Compositionality via cut-elimination: Hennessy-Milner logic for an arbitrary GSOS (1995)

Download From

IEEE
Download from IEEE

Download Links

by Alex K. Simpson
Venue:In Logic in Computer Science
Citations:16 - 3 self