Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference23 articles.
1. Process Algebra;Baeten,1990
2. Comparative branching-time semantics for Markov chains;Baier;Inform. Comput.,2005
3. Handbook of Process Algebra,2001
4. M. Bernardo, Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity, in: Proc. of the Int. Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond (APC 25), ENTCS, Bertinoro (Italy), 2005.
5. M. Bernardo, S. Botta, Modal logic characterization of Markovian testing and trace equivalences, in: Proc. of the 1st Int. Workshop on Logic, Models and Computer Science (LMCS 2006), ENTCS, Camerino (Italy), 2006.
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献