External Links

    Journal: Formal Asp. Comput.

    Volume 6, Issue 3

    250 -- 268Jos C. M. Baeten, Jan A. Bergstra. On Sequential Compoisiton, Action Prefixes and Process Prefixes
    269 -- 316Pierre America, Frank S. de Boer. Reasoning about Dynamically Evolving Process Structures
    317 -- 338Bard Bloom. When is Partial Trace Equivalence Adequate?
    339 -- 358Chris Brink, Katarina Britz, Renate A. Schmidt. Peirce Algebras
    runs on