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

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

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

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

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

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

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

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