Comparison between Abduction of Synchronous and Asynchronous Process Algebra

F. Yamaguchi (Japan)

Keywords

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

Abstract

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


IASTED
Rotating Call For Paper Image