A declarative semantics of flat guarded Horn clauses for programs with perpetual processes

• Authors:

• M. Murakami

• Affiliations:

• -

• Venue:
• Theoretical Computer Science - Special issue on the international conference on fifth generation computer systems. Tokyo, 1988
• Year:
• 1990