Showing 1 - 20 results of 473 for search 'Roscoe, T', query time: 0.03s Refine Results
  1. 1
    A mathematical theory of communicating processes

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

    Published 1982
    Thesis
  2. 2
    La place et la finalité de la théorie du droit sociologique (1911)

    La place et la finalité de la théorie du droit sociologique (1911) by Roscoe Pound

    Published 2021-06-01
    Get full text
    Article
  3. 3
    Towards Balanced Assessment of Student Teaching Performance

    Towards Balanced Assessment of Student Teaching Performance by Keith Roscoe

    Published 2012-01-01
    Get full text
    Article
  4. 4
    Enhancing Assessment in Teacher Education Courses

    Enhancing Assessment in Teacher Education Courses by Keith Roscoe

    Published 2013-07-01
    Get full text
    Article
  5. 5
    Le droit des livres et le droit en pratique

    Le droit des livres et le droit en pratique by Roscoe Pound

    Published 2022-05-01
    Get full text
    Article
  6. 6
    Maintaining consistency in distributed databases

    Maintaining consistency in distributed databases by Roscoe, A

    Published 1990
    Report
  7. 7
    Human−centred computer security

    Human−centred computer security by Roscoe, A

    Published 2006
    Record
  8. 8
    The expressiveness of CSP with priority

    The expressiveness of CSP with priority by Roscoe, A

    Published 2015
    Conference item
  9. 9
    A mathematical theory of communicating processes

    A mathematical theory of communicating processes by Roscoe, A

    Published 1982
    Thesis
  10. 10
    Denotational semantics for occam

    Denotational semantics for occam by Roscoe, A

    Published 1985
    Conference item
  11. 11
    The three platonic models of divergence-strict CSP

    The three platonic models of divergence-strict CSP by Roscoe, A

    Published 2008
    Journal article
  12. 12
    About Consistency in Databases

    About Consistency in Databases by Roscoe, A

    Published 2015
    Record
  13. 13
    Intensional specifications of security protocols

    Intensional specifications of security protocols by Roscoe, A

    Published 1996
    Conference item
  14. 14
    The Missing Link: Human Interactive Security Protocols in Mobile Payment

    The Missing Link: Human Interactive Security Protocols in Mobile Payment by Roscoe, R

    Published 2010
    Journal article
  15. 15
    Modelling and verifying key−exchange protocols using CSP and FDR

    Modelling and verifying key−exchange protocols using CSP and FDR by Roscoe, A

    Published 1995
    Conference item
  16. 16
    The three Platonic models of divergence−strict CSP

    The three Platonic models of divergence−strict CSP by Roscoe, A

    Published 2008
    Conference item
  17. 17
    The pursuit of buffer tolerance

    The pursuit of buffer tolerance by Roscoe, A

    Published 2005
    Record
  18. 18
    Occam in the specification and verification of microprocessors

    Occam in the specification and verification of microprocessors by Roscoe, A

    Published 1992
    Journal article
  19. 19
    Finitary refinement checks for infinitary specifications

    Finitary refinement checks for infinitary specifications by Roscoe, A

    Published 2004
    Conference item
  20. 20
    Confluence thanks to extensional determinism

    Confluence thanks to extensional determinism by Roscoe, A

    Published 2006
    Journal article

Search Tools: