P4: a logic language for process programming.

Dennis Heimbigner

Published in: ISPW (1989)

Keyphrases

programming language
programming environment
operational semantics
data sets
neural network
artificial intelligence
multi agent systems
model checking
linear temporal logic
oriented programming
concurrent programming