Showing 1 - 8 results of 8 for search '"Communicating Sequential Processes"', query time: 0.16s Refine Results
  1. 1
    Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation /
    by Patel, Hiren D., Shukla, Sandeep K.
    Published 2005
    Table of Contents: “… Hierarchy -- Synchronous Data Flow Kernel in SystemC -- Communicating Sequential Processes Kernel in SystemC…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Understanding Concurrent Systems
    by Roscoe, A.W
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Reflections on the Work of C.A.R. Hoare
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Search -- A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes -- A Petri Net…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings /
    Published 2002
    Table of Contents: “… Sequential Processes with Data -- Building Tools for LOTOS Symbolic Semantics in Maude -- From States…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26-30, 2019, Proceedings /
    Published 2019
    Table of Contents: “… of Hierarchically Tiled Arrays -- Scalable FIFO Channels for Programming via Communicating Sequential Processes…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Euro-Par'98 Parallel Processing 4th International Euro-Par Conference Southampton, UK, September 1-4, 1998 Proceedings /
    Published 1998
    Table of Contents: “… and animation of communicating sequential processes -- A universal infrastructure for the run-time monitoring…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search