CLAIR

Home

Documentation

Download

Credits

Mailing Lists

Links

Bibliography

Here are some fundamental papers you may want to read.
The corresponding BibTeX source is also available.

[Plo81] Gordon Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, University of Aarhus, Denmark, 1981.

This file was generated by

[Page last updated on January 13, 2013, 15:59:45.]

© Roberto Bagnara

Home | Documentation | Documentation | Download | Credits | Mailing Lists | Links