F. Yamaguchi (Japan)
abduction, process algebra, program synthesis, linear logic,
Inductive program synthesis on concurrent or distributed
computational environment has great signiﬁcance. 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