Author:
de Frutos Escrig David,Gregorio Rodríguez Carlos,Palomino Miguel
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Boreale, M., Gadducci, F.: Processes as formal power series: A coinductive approach to denotational semantics. Theoretical Computer Science 360(1-3), 440–458 (2006)
2. Springer Science and Business Media;D. Frutos-Escrig de,2008
3. de Frutos-Escrig, D., Gregorio-Rodríguez, C., Palomino, M.: On the unification of process semantics: axiomatic semantics (submitted, 2008), http://maude.sip.ucm.es/~miguept/
4. Hennessy, M.: Acceptance trees. Journal of the ACM 32(4), 896–928 (1985)
5. Electronic Notes in Theoretical Computer Science;B. Jacobs,2004
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献