Author:
Baeten Jos C. M.,Luttik Bas,van Tilburg Paul
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Baeten, J.C.M.: Models of Computation: Automata and Processes. Technische Universiteit Eindhoven, Syllabus 2IT15 (2010)
2. Cambridge Tracts in Theoretical Computer Science;J.C.M. Baeten,2009
3. Baeten, J.C.M., Corradini, F., Grabmayer, C.A.: A characterization of regular expressions under bisimulation. Journal of the ACM 54(2):6, 1–28 (2007)
4. Lecture Notes in Computer Science;J.C.M. Baeten,2010
5. Lecture Notes in Computer Science;J.C.M. Baeten,2008
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Diagrammatic Definitions of Causal Claims;Diagrammatic Representation and Inference;2018
2. Sequential Composition in the Presence of Intermediate Termination (Extended Abstract);Electronic Proceedings in Theoretical Computer Science;2017-08-31
3. Turing Meets Milner;Lecture Notes in Computer Science;2012