Inconsistencies in the Process Specification Language (PSL).

Michael Beeson Jay Halcomb Wolfgang Mayer

Published in: ATE (2011)

Keyphrases

specification language
process model
description language
high level
dynamic programming
programming language
constraint programming