Who are the authors of the publication 'A Calculus of Total Correctness for Communicating Processes' and what other papers did they publish?
List the authors of 'A Calculus of Total Correctness for Communicating Processes' and the other papers they published.
SELECT DISTINCT ?firstanswer ?secondanswer WHERE { <https://dblp.org/rec/journals/scp/Hoare81> <https://dblp.org/rdf/schema#authoredBy> ?firstanswer . ?secondanswer <https://dblp.org/rdf/schema#authoredBy> ?firstanswer FILTER (?secondanswer != <https://dblp.org/rec/journals/scp/Hoare81>) }
<https://dblp.org/rec/journals/scp/Hoare81>