Вы здесь

Van Hulst M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Towards an Epistemic Approach to Reasoning about Concurrent Programs 1993 Van Der Hoek W., Van Hulst M., Meyer J.-J. Ch. Lecture Notes in Computer Science 11.06.1993
СТ A Proof System for Asynchronously Communicating Deterministic Processes 1994 de Boer F. S., Van Hulst M. Lecture Notes in Computer Science 29.09.1994
М Compositional Verification of Parallel Programs using Epistimic Logic and Abstract Assertional Languages 1968 Van Hulst M. Univ. Utrecht 30.12.1997
СТ A Compositional Proof System for Asynchronously Communicating Processes 1995 de Boer F. S., Van Hulst M. Lecture Notes in Computer Science 30.03.2002