Arend Rensink Heike Wehrheim Process algebra with action dependencies. 155-234 2001 38 Acta Inf. 3 http://link.springer.de/link/service/journals/00236/bibs/1038003/10380155.htm db/journals/acta/acta38.html#RensinkW01