Author:
Fokkink Wan,van Glabbeek Rob,Luttik Bas
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference34 articles.
1. Syntax and defining equations for an interrupt mechanism in process algebra;Baeten;Fundam. Inform.,1986
2. Sequential composition in the presence of intermediate termination (extended abstract);Baeten,2017
3. Branching bisimulation is an equivalence indeed!;Basten;Inf. Process. Lett.,1996
4. When is partial trace equivalence adequate?;Bloom;Form. Asp. Comput.,1994
5. Structural operational semantics for weak bisimulations;Bloom;Theor. Comput. Sci.,1995
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献