## Towards a mathematical operational semantics (1997)

### Cached

### Download Links

- [www.dcs.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [homepages.inf.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Daniele Turi

Venue: | In Proc. 12 th LICS Conf |

Citations: | 134 - 9 self |