Author:
Aceto Luca,Goriac Eugen-Ioan,Ingolfsdottir Anna,Mousavi Mohammad Reza,Reniers Michel A.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Aceto, L., Bloom, B., Vaandrager, F.W.: Turning SOS rules into equations. Information and Computation 111, 1–52 (1994)
2. Lecture Notes in Computer Science;L. Aceto,2011
3. Lecture Notes in Computer Science;L. Aceto,2005
4. Aceto, L., Fokkink, W., Verhoef, C.: Structural operational semantics. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, ch. 3, pp. 197–292. Elsevier Science, Dordrecht (2001)
5. Aceto, L., Ingolfsdottir, A., Mousavi, M., Reniers, M.A.: Algebraic properties for free! Bulletin of the European Association for Theoretical Computer Science 99, 81–104 (2009)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献