Process Algebra with Timed-Priority Executing Policy.
Zhongxian LiMiao JiangGao ChenQinglin ZhaGuang ZhengPublished in: J. Softw. (2011)
Keyphrases
- process algebra
- petri net
- concurrent systems
- asynchronous circuits
- model checking
- formal specification
- formal methods
- communication protocols
- web services composition
- concurrent programs
- scheduling policies
- temporal logic
- grid workflow
- programming environment
- end to end
- web service composition
- formal languages
- machine learning