A Sound Abduction on Asynchronous Process Synthesis

F. Yamaguchi (Japan)


System Theory, Process Algebra, Abduction, Soundness


Abductive process synthesis has great importance for the base of inductive synthesis of parallel or distributed pro grams. The validity of abduction is evaluated from two points of view. Completeness means that the abductive method generates all hypotheses which satisfy given spec ification. Soundness means that all generated hypotheses satisfy given specification. For this problem, a synchronous process algebra is known to have a sound and complete ab duction. However, synchronisity is expensive for practical system and sound abduction on asynchronous process is desired. This paper proposes a sound abduction on asyn chronous process algebra.

Important Links:

Go Back