Comparison between Abduction of Synchronous and Asynchronous Process Algebra

F. Yamaguchi (Japan)


abduction, process algebra, program synthesis, linear logic, machine learning


Inductive program synthesis on concurrent or distributed computational environment has great significance. Induc tion consists of abduction and evaluation. Concurrent or distributed computation is modeled by process algebra. There is choice whether message sending and receiving oc cur synchrounsly or asynchronously. In this paper, difference between abduction in syn chronous process algebra and asynchronous version is dis cussed.

Important Links:

Go Back