Author:
Castellani Ilaria,Mukund Madhavan,Thiagarajan P. S.
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. A. Arnold: Finite transition systems and semantics of communicating sytems, Prentice-Hall (1994). 220
2. Lect Notes Comput Sci;E. Badouel,1998
3. I. Castellani, M. Mukund and P.S. Thiagarajan: Characterizing decomposable transition systems, Internal Report, Chennai Mathematical Institute (1999). 226, 230
4. A. Ehrenfeucht and G. Rozenberg: Partial 2-structures; Part II, State spaces of concurrent systems, Acta Inf. 27 (1990) 348–368. 219
5. Lect Notes Comput Sci;J.F. Groote,1992
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Team Automata: Overview and Roadmap;Lecture Notes in Computer Science;2024
2. Realisability of Global Models of Interaction;Theoretical Aspects of Computing – ICTAC 2023;2023
3. Compositional Automata Learning of Synchronous Systems;Fundamental Approaches to Software Engineering;2023
4. Compositional Reasoning for Multi-modal Logics;Logical Foundations of Computer Science;2013
5. Bounded synthesis;International Journal on Software Tools for Technology Transfer;2012-04-07