A UTP Semantics for Communicating Processes with Shared Variables.

Ling Shi Yongxin Zhao Yang Liu Jun Sun Jin Song Dong Shengchao Qin

Published in: ICFEM (2013)

Keyphrases

sharing information
communication channels
learning algorithm
variable selection
case study
logic programming
process model
computational models
reasoning mechanisms
argumentation semantics