ePrints

Operational Semantics for Circus

Lookup NU author(s): Dr Leo Freitas

Downloads

Full text is not currently available for this publication.

Publication metadata

Author(s): Woodcock J, Cavalcanti A, Gaudel MC, Freitas L

Publication type: Report

Publication status: Published

Series Title:

Year: 2008

Pages: 12

Institution: York University

Place Published: York, UK

URL: .ftp://www-users.cs.york.ac.uk/pub/leo/utp/journal-pub/circus-operational-semantics.pdf

Share