The failure of failures in a paradigm for asynchronous communication

Veröffentlicht 1991

A paradigm for asynchronous communication and its application to concurrent constraint programming

Veröffentlicht 1991

From failure to success : comparing a denotational and a declarative semantics for Horn clause logic

Veröffentlicht 1990

A proof theory for the language POOL

von Boer, F. S. de
Veröffentlicht 1991

On blocks : locality and asynchronous communication ; (extended abstract)

Veröffentlicht 1992

A proof theory of asynchronously communicating sequential processes

Veröffentlicht 1996

A proof system for asynchronously communicating deterministic processes

von Boer, F. S. de
Veröffentlicht 1994

A compositional proof system for asynchronously communicating processes

von Boer, F. S. de
Veröffentlicht 1996