Gaya APA

Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator . (2014). : .

Gaya MLA

Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator . . : , 2014. Text.