Εμφανίζονται 1 - 8 Αποτελέσματα από 8 για την αναζήτηση '"Communicating Sequential Processes"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  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 /
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation /
    ανά Patel, Hiren D., Shukla, Sandeep K.
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Hierarchy -- Synchronous Data Flow Kernel in SystemC -- Communicating Sequential Processes Kernel in SystemC…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Understanding Concurrent Systems
    ανά Roscoe, A.W
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Reflections on the Work of C.A.R. Hoare
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Search -- A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes -- A Petri Net…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Sequential Processes with Data -- Building Tools for LOTOS Symbolic Semantics in Maude -- From States…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26-30, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… of Hierarchically Tiled Arrays -- Scalable FIFO Channels for Programming via Communicating Sequential Processes…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Euro-Par'98 Parallel Processing 4th International Euro-Par Conference Southampton, UK, September 1-4, 1998 Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… and animation of communicating sequential processes -- A universal infrastructure for the run-time monitoring…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email