Scope Equivalence of Concurrent Systems Based on Bipartite Directed Acyclic Graph.
Masaki MurakamiPublished in: Software Engineering Research and Practice (2005)
Keyphrases
- directed acyclic graph
- concurrent systems
- undirected graph
- distributed systems
- temporal logic
- equivalence class
- process algebra
- directed graph
- formal specification
- random variables
- petri net
- transitive closure
- bipartite graph
- transition systems
- markov equivalence classes
- model checking
- equivalence classes
- conditional independence
- causal models
- graph model
- bayesian network structure
- structural learning
- event calculus
- structural equation models
- artificial intelligence
- software systems
- fine grained
- random walk
- software engineering