Вы здесь

Poigne A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On the Nature of Events 1992 Pianna G. M., Poigne A. Lecture Notes in Computer Science 17.09.1992
СТ A Functorial Semantics for Observed Concurrency 1992 Murphy D., Poigne A. Lecture Notes in Computer Science 17.09.1992
СТ Identity and Existence, and Types in Algebra 1994 Poigne A. Lecture Notes in Computer Science 03.06.1994
СТ Event Automata as a Generic Model of Reactive Systems 1995 Pinna G. M., Poigne A. Lecture Notes in Computer Science KORSO: Methods, Languages, and Tools for the Construction of Correct Software 28.12.1995
СТ On the Combination of Synchronous Languages 1998 Poigne A., Holenderski L. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.01.1999
СТ Complex Reactive Control with Simple Synchronous Models 2001 Budde R., Poigne A. Lecture Notes in Computer Science 11.04.2001