Full Abstraction for Series-Parallel Pomsets.

Published in: TAPSOFT, Vol.1 (1991)

Keyphrases

series parallel
temporal reasoning
binary trees
high level
tree decomposition
network design
constraint networks
precedence constraints
neural network
upper bound