348 articles – 361 references  [version française]
.:. Browse > List by authors > Hennessy .:.
2 documents ordered by :

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]