Author:
Aceto Luca,Ésik Zoltán,Ingólfsdóttir Anna
Subject
General Computer Science,Theoretical Computer Science
Reference25 articles.
1. L. Aceto, Z. Ésik, A. Ingólfsdóttir, On the two-variable fragment of the equational theory of the max-sum algebra of the natural numbers, in: H. Reichel, S. Tison (Eds.), Proc. 17th Internat. Symp. on Theoret. Aspects Comput. Sci., Vol. 1770, Lecture Notes in Comput. Sci., Springer, Berlin, 2000, pp. 267–278. Full version available at the URL http://www.brics.dk/RS/99/22/index.html.
2. A menagerie of non-finitely based process semantics over BPA∗—from ready simulation to completed traces;Aceto;Math. Structures Comput. Sci.,1998
3. Process algebra with iteration and nesting;Bergstra;Comput. J.,1994
4. J. Bergstra, J.W. Klop, Fixed point semantics in process algebras, Report IW 206, Mathematisch Centrum, Amsterdam, 1982.
5. Bisimulation can't be traced;Bloom;J. Assoc. Comput. Mach.,1995
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献