A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour.
Yuanrui ZhangYixiang ChenHengyang WuPublished in: IEEE Access (2019)
Keyphrases
- process algebra
- spatio temporal
- concurrent systems
- model checking
- formal specification
- asynchronous circuits
- formal methods
- web services composition
- communication protocols
- concurrent programs
- temporal logic
- petri net
- image sequences
- moving objects
- qualitative models
- formal languages
- grid workflow
- software engineering
- expert systems
- artificial intelligence
- real time