Additional methods for reduction and expansion of marked graphs
From MaRDI portal
Publication:3920656
DOI10.1109/TCS.1981.1084918zbMath0467.68056MaRDI QIDQ3920656
Richard Johnsonbaugh, Tadao Murata
Publication date: 1981
Published in: IEEE Transactions on Circuits and Systems (Search for Journal in Brave)
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of graph theory to circuits and networks (94C15)
This page was built for publication: Additional methods for reduction and expansion of marked graphs