Author:
Aceto Luca,Fokkink Wan,Ingólfsdóttir Anna
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lect Notes Comput Sci;L. Aceto,2000
2. L. Aceto, Z. Ésik, and A. Ingólfsdóttir, The max-plus algebra of the natural numbers has no finite equational basis, research report, BRICS, Department of Computer Science, Aalborg University, October 1999. Pp. 25. To appear in Theoretical Computer Science.
3. L. Aceto, W. Fokkink, and A. Ingólfsdóttir,A menagerie of non-finitely based process semantics over BPA * from ready simulation to completed traces, Mathematical Structures in Computer Science, 8 (1998), pp. 193–230.
4. Lect Notes Comput Sci,1990
5. J. Bergstra and J. W. Klop, Fixed point semantics in process algebras, Report IW 206, Mathematisch Centrum, Amsterdam, 1982.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献