An Abstract Concurrent Machine for Rewriting.

Nachum Dershowitz Naomi Lindenstrauss

Published in: ALP (1990)

Keyphrases

mutual exclusion
databases
artificial intelligence
higher level
low level