Suchergebnisse - Boer, Frank S. de 1956-

Verification of sequential and concurrent programs

von Apt, Krzysztof R. 1949-, Boer, Frank S. de 1956-, Olderog, Ernst-Rüdiger 1955-

Asynchronous communication in process algebra: (extended abstract)

von Boer, Frank S. de 1956-

It's all about coordination: essays to celebrate the lifelong scientific achievements of Farhad Arbab

Weitere beteiligte Personen: “… Boer, Frank S. de 1956- …”