Author:
Labra Gayo Jose E.,Cueva Lovelle Juan M.,Luengo Díez María C.,González Rodríguez Bernardo M.
Publisher
Springer Berlin Heidelberg
Reference49 articles.
1. Language Prototyping System. http://lsi.uniovi.es/~labra/LPS/LPS.html .
2. Lect Notes Comput Sci;D. Álvarez,1997
3. Lect Notes Comput Sci;R. Backhouse,1999
4. L. S. Barbosa. Components as processes: An exercise in coalgebraic modeling. In S. F. Smith and C. L. Talcott, editors, FMOODS’2000-Formal Methods for Open Object-Oriented Distributed Systems, pages 397–417, Stanford, USA, September 2000. Kluwer Academic Publishers.
5. N. Benton, J. Hughes, and E. Moggi. Monads and effects. In International Summer School On Applied Semantics APPSEM’2000, Caminha, Portugal, 2000.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献