Вы здесь

Poigne A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Functorial Semantics for Observed Concurrency 1992 Murphy D., Poigne A. Lecture Notes in Computer Science 17.09.1992
СТ Complex Reactive Control with Simple Synchronous Models 2001 Budde R., Poigne A. Lecture Notes in Computer Science 11.04.2001
СТ 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
СТ Identity and Existence, and Types in Algebra 1994 Poigne A. Lecture Notes in Computer Science 03.06.1994
СТ On the Combination of Synchronous Languages 1998 Poigne A., Holenderski L. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.01.1999
СТ On the Nature of Events 1992 Pianna G. M., Poigne A. Lecture Notes in Computer Science 17.09.1992