Showing 1 - 11 results of 11 for search '"Communication Sequential Processing (CSP)"', query time: 0.20s Refine Results
  1. 1
    Semantic models for information flow

    Semantic models for information flow by Lowe, G

    Published 2004
    Subjects: “…Communication Sequential Processing (CSP)…”
    Journal article
  2. 2
    The timed failures - stability model for CSP

    The timed failures - stability model for CSP by Reed, G, Roscoe, A

    Published 1999
    Subjects:
    Journal article
  3. 3
    Using data-independence in the analysis of intrusion detection systems

    Using data-independence in the analysis of intrusion detection systems by Rohrmair, G, Lowe, G

    Published 2005
    Subjects:
    Journal article
  4. 4
    Formalisations and applications of business process modelling notation

    Formalisations and applications of business process modelling notation by Wong, P

    Published 2011
    Subjects: “…Communication Sequential Processing (CSP)…”
    Thesis
  5. 5
    Confluence thanks to extensional determinism

    Confluence thanks to extensional determinism by Roscoe, A

    Published 2006
    Subjects: “…Communication Sequential Processing (CSP)…”
    Journal article
  6. 6
    A mathematical theory of communicating processes

    A mathematical theory of communicating processes by Roscoe, A, A.W. Roscoe

    Published 1982
    Subjects:
    Thesis
  7. 7
    Applications of process-oriented design

    Applications of process-oriented design by Whitehead, J, James Norman Whitehead

    Published 2014
    Subjects: “…Communication Sequential Processing (CSP)…”
    Thesis
  8. 8
    A hierarchy of failures-based models: theory and application

    A hierarchy of failures-based models: theory and application by Bolton, C, Lowe, G

    Published 2005
    Subjects:
    Journal article
  9. 9
    The formal semantics of a domain-specific modelling language

    The formal semantics of a domain-specific modelling language by Grealish, C

    Published 2010
    Subjects: “…Communication Sequential Processing (CSP)…”
    Thesis
  10. 10
    Model Checking Systems with Replicated Components using CSP

    Model Checking Systems with Replicated Components using CSP by Mazur, T

    Published 2011
    Subjects:
    Thesis
  11. 11
    Techniques and tools for the verification of concurrent systems

    Techniques and tools for the verification of concurrent systems by Palikareva, H

    Published 2012
    Subjects:
    Thesis

Search Tools: