External Links

    Journal: Theory Comput. Syst.

    Volume 30, Issue 5

    447 -- 474Shimon Even, Sergio Rajsbaum. The Use of a Synchronizer Yields the Maximum Computation Rate in Distributed Networks
    475 -- 494Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang. Deciding a Class of Path Formulas for Conflict-Free Petri Nets
    495 -- 518Christoph Meinel, Anna Slobodová. A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams
    runs on