Author:
Bravetti Mario,Gorrieri Roberto
Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. A LOTOS extension for the performance analysis of distributed systems;Ajmone Marsan;IEEE/ACM Trans. Networking,1994
2. On axiomatising finite concurrent processes;Aceto;SIAM J. Comput.,1994
3. Model-checking in dense real-time;Alur;Inform. Comput.,1993
4. Adding action refinement to a finite process algebra;Aceto;Inform. Comput.,1994
5. M. Bravetti, M. Bernardo, R. Gorrieri, Towards Performance Evaluation with General Distributions in Process Algebras, in: Proc. 9th Internat. Conf. Concurrency Theory (CONCUR ’98), Nice, France, Lecture Notes in Computer Science, Vol. 1466, 1998, pp. 405–422.
Cited by
57 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献