|
СТ |
Complex Reactive Control with Simple Synchronous Models |
2001 |
Budde R., Poigne A. |
|
|
|
Lecture Notes in Computer Science |
11.04.2001 |
|
СТ |
On the Combination of Synchronous Languages |
1998 |
Poigne A., Holenderski L. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.1999 |
|
СТ |
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 |
|
СТ |
A Functorial Semantics for Observed Concurrency |
1992 |
Murphy D., Poigne A. |
|
|
|
Lecture Notes in Computer Science |
17.09.1992 |
|
СТ |
On the Nature of Events |
1992 |
Pianna G. M., Poigne A. |
|
|
|
Lecture Notes in Computer Science |
17.09.1992 |
