The use of a synchronizer yields the maximum computation rate in distributed networks S. EvenS. Rajsbaum OriginalPaper 30 July 2007 Pages: 447 - 474
Deciding a class of path formulas for conflict-free petri nets Hsu-Chun YenBow-Yaw WangMing-Sheng Yang OriginalPaper 30 July 2007 Pages: 475 - 494
A reducibility concept for problems defined in terms of ordered binary decision diagrams Ch. MeinelA. Slobodová OriginalPaper 30 July 2007 Pages: 495 - 518