Decompositions of graphs based on a new graph product
暂无分享,去创建一个
[1] Hajo Broersma,et al. On a directed tree problem motivated by a newly introduced graph product , 2015, Electron. J. Graph Theory Appl..
[2] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[3] J. A. Bondy,et al. Graph Theory , 2008, Graduate Texts in Mathematics.
[4] Antoon Hendrik Boode,et al. On the automation of periodic hard real-time processes: a graph-theoretical approach , 2018 .
[5] W. Thomas,et al. Model checking synchronized products of infinite transition systems , 2004, LICS 2004.
[6] Christel Baier,et al. Principles of model checking , 2008 .
[7] Hajo Broersma,et al. Improving the Performance of Periodic Real-time Processes: a Graph Theoretical Approach , 2013, CPA.
[8] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[9] Johannes F. Broenink,et al. Performance of periodic real-time processes: a vertex-removing synchronised graph product , 2014 .
[10] Jeff Magee,et al. Concurrency - state models and Java programs , 2006 .