Author:
Corradini Flavio,De Nicola Rocco,Labella Anna
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference32 articles.
1. Axiomatizing prefix iteration with silent steps;Aceto;Inform. and Comput.,1996
2. An equational axiomatization of observation congruence for prefix iteration;Aceto,1996
3. Process algebra with a zero object;Baeten,1990
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献