Conditional Partial Order Graphs: Model, Synthesis, and Application
From MaRDI portal
Publication:5280674
DOI10.1109/TC.2010.58zbMath1368.68273MaRDI QIDQ5280674
Publication date: 27 July 2017
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Applications of graph theory (05C90) Graph theory (including graph drawing) in computer science (68R10)
Related Items (3)
Compact and efficiently verifiable models for concurrent systems ⋮ An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems ⋮ Building Bridges Between Sets of Partial Orders
This page was built for publication: Conditional Partial Order Graphs: Model, Synthesis, and Application
