Keyphrases
- partial order
- concurrent programs
- process algebra
- partially ordered
- conceptual graphs
- total order
- concurrent systems
- formal specification
- asynchronous circuits
- model checking
- lattice structure
- formal semantics
- formal methods
- declarative semantics
- logical formulas
- high level
- communication protocols
- web services composition
- causal links
- preference relations
- transformation rules
- temporal logic
- sequential patterns
- petri net
- logic programming
- totally ordered
- concurrent programming
- concurrent processes
- artificial intelligence
- general purpose