Universal Coinductive Characterisations of Process Semantics

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 - IFIP International Federation for Information Processing ◽

10.1007/978-0-387-09680-3_27 ◽

2008 ◽

pp. 397-412 ◽

Author(s):

David de Frutos Escrig ◽

Carlos Gregorio Rodríguez

Download Full-text