The Semantics of Guarded Horn Clauses for Programs on Distributed Environments (特集:マルチメディア通信と分散処理)

概要

論文の詳細を見る
This paper constructs the semantics of GHC for programs running on network environments. In recent years, many concurrent logoc programming(clp)languages have been developed to describe concurrent systems, and as these languages developed, various results on the formal semantics of these languages have been reported aiming at giving these languages theoretical foundations. However, the semantics which are intended only to rxpress the behavior of programs running on stand alone environments cannot correctly express the behavior of progarams running on network environments: on network environments, there exist programs which act differently though they are identified by such semantics. We construct semantics which can correctly represent the behavior of communicating processes on network environments: the semantics can distinguish programs acting as different programs on network environments. These semantics represent the behavior of processes in a non-interleaving manner: the behavior of a process is expressed by an element with a tree structure construced from nested pairs of {}and()which express 'the set of the sequences of I/O-actions' and 'the sequences of I/O-actions'. Furthermore, we can easily see the relationship of any two I/O actions that occur in a computation.
一般社団法人情報処理学会の論文
1999-01-15