External Links

    Journal: Formal Asp. Comput.

    Volume 8, Issue 6

    617 -- 647Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders. Refinement-Oriented Probability for CSP
    648 -- 678Alban Ponse. Computable Processes and Bisimulation Equivalence
    679 -- 705Jeffery I. Zucker. Transformations of Normal and Inverted Function Tables
    706 -- 715Ruth Breu, Elena Zucca. An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract)
    716 -- 736Murali Sitaraman. Impact of Performance Considerations on Formal Specification Design
    runs on