Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL.

Rivi Sherman Amir Pnueli David Harel

Published in: POPL (1982)

Keyphrases

logic programming
databases
deontic logic
decision making
multi agent
expert systems
development process