Sciweavers

ENTCS
2010

Future Path-components in Directed Topology

13 years 11 months ago
Future Path-components in Directed Topology
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calculation of tractable invariants on such pospaces can reveal critical system behavior unseen by ordinary invariants on the underlying spaces, thereby sometimes cirumventing the state space problem bedevilling static analysis. We introduce a practical technique for calculating future path-components, algebraic invariants on pospaces of states and hence tractable descriptions of the qualitative behavior of concurrent processes.
Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishna
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2010
Where ENTCS
Authors Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan
Comments (0)