Showing 1 - 8 results of 8 for search 'D'Osualdo, E', query time: 0.02s Refine Results
  1. 1
    Verification of message passing concurrent systems

    Verification of message passing concurrent systems by D'Osualdo, E

    Published 2015
    Thesis
  2. 2
    On hierarchical communication topologies in the pi-calculus

    On hierarchical communication topologies in the pi-calculus by Ong, C, D'Osualdo, E

    Published 2016
    Conference item
  3. 3
    Automatic Verification of Erlang−Style Concurrency

    Automatic Verification of Erlang−Style Concurrency by D'Osualdo, E, Kochems, J, Ong, C

    Published 2013
    Journal article
  4. 4
    Automatic Verification of Erlang−Style Concurrency

    Automatic Verification of Erlang−Style Concurrency by D'Osualdo, E, Kochems, J, Ong, C

    Published 2013
    Conference item
  5. 5
    Automatic Verification of Erlang−Style Concurrency

    Automatic Verification of Erlang−Style Concurrency by D’Osualdo, E, Kochems, J, Ong, C

    Published 2013
    Book
  6. 6
    Soter: an Automatic Safety Verifier for Erlang

    Soter: an Automatic Safety Verifier for Erlang by D'Osualdo, E, Kochems, J, Ong, L

    Published 2012
    Conference item
  7. 7
    Soter: an automatic safety verifier for erlang

    Soter: an automatic safety verifier for erlang by D'Osualdo, E, Kochems, J, Ong, L

    Published 2012
    Conference item
  8. 8
    Deciding secrecy of security protocols for an unbounded number of sessions: The case of depth-bounded processes

    Deciding secrecy of security protocols for an unbounded number of sessions: The case of depth-bounded processes by Ong, C-HL, Tiu, A, D'Osualdo, E

    Published 2017
    Conference item

Search Tools: