External Links

    Journal: Formal Asp. Comput.

    Volume 8, Issue 2

    127 -- 161Ketil Stølen, Frank Dederichs, Rainer Weber. Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm
    162 -- 187Padmanabhan Krishnan. Architectural CCS
    188 -- 208Jos C. M. Baeten, Jan A. Bergstra. Discrete Time Process Algebra
    209 -- 237Geoffrey Brown, Wayne Luk, John O Leary. Retargeting a Hardware Compiler Using Protokol Converters
    238 -- 244Walter Hussak. On CCS with Parametric Relabelling
    runs on