A formal model of concurrent systems based on bipartite directed acyclic graph.
Masaki MurakamiPublished in: Sci. Comput. Program. (2006)
Keyphrases
- formal model
- directed acyclic graph
- concurrent systems
- undirected graph
- temporal logic
- distributed systems
- process algebra
- equivalence class
- bipartite graph
- petri net
- formal specification
- random variables
- transitive closure
- conditional independence
- graph model
- transition systems
- model checking
- formal models
- bayesian network structure
- causal models
- directed graph
- equivalence classes
- structural learning
- predicate calculus
- security properties
- artificial intelligence
- graphical models
- security patterns
- event calculus
- markov property
- structural equation models
- software architecture
- link prediction