Verification of sequential and concurrent programs von Apt, Krzysztof R. 1949-, Boer, Frank S. de, Olderog, Ernst-Rüdiger 1955-

Verification of Sequential and Concurrent Programs von Apt, Krzysztof R. 1949-, Boer, Frank S. de, Olderog, Ernst-Rüdiger 1955-

Volltext öffnen

Asynchronous communication in process algebra (extended abstract) von Boer, Frank S. de 1956-

Embedding as a tool for language comparison von Boer, Frank S. de, Palamidessi, Catuscia

A proof theory for the language POOL von Boer, Frank S. de

Proving termination of parallel programs von Apt, Krzysztof R. 1949-, Boer, Frank S. de, Olderog, Ernst-Rüdiger 1955-

Volltext öffnen

A fully abstract model for concurrent logic languages von Boer, Frank S. de, Palamidessi, Catuscia

Volltext öffnen

A proof theory for the language POOL von Boer, Frank S. de

A proof rule for process-creation von Boer, Frank S. de

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, Klop, Jan Willem 1945-, Palamidessi, Catuscia

A proof for process creation von America, Pierre H., Boer, Frank S. de

Embedding as a tool for language comparison von Boer, Frank S. de

Proving total correctness of recursive procedures von America, Pierre, Boer, Frank S. de

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

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