Author:
Basold Henning,Hansen Helle Hvid,Pin Jean-Éric,Rutten Jan
Publisher
Springer International Publishing
Reference19 articles.
1. Barbosa, L.: Components as coalgebras. Ph.D. thesis, Universidade do Minho, Braga, Portugal (2001)
2. Bergstra, J., Klop, J.W.: Process algebra for synchronous communication. Inf. Control 60(1), 109–137 (1984)
3. EATCS Monographs on Theoretical Computer Science;J Berstel,1988
4. Bonchi, F., Pous, D.: Hacking nondeterminism with induction and coinduction. Commun. ACM 58(2), 87–95 (2015)
5. Burns, S.A., Palmore, J.I.: The newton transform: an operational method for constructing integral of dynamical systems. Physica D Nonlinear Phenom. 37(1–3), 83–90 (1989)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献