.:. Browse > List by authors > Hennessy .:.

2 documents ordered by : Date Title first author name document type Submit date

Adding recursion to Dpi Hym S., Hennessy M. Theoretical Computer Science 373, 3 (2007) 182--212 [hal-00140654 - version 1]

Adding recursion to Dpi (Extended abstract) Hym S., Hennessy M. In Proceedings of the Second Workshop on Structural Operational Semantics (SOS 2005) - (2006) [hal-00140655 - version 1]