|
СТ |
Design with Asynchronously Communicating Components |
2003 |
Plosila J., Sere K., Walden M. |
|
|
|
Lecture Notes in Computer Science |
31.01.2004 |
|
СТ |
An Action System Specification of the Caltech Asynchronous Microprocessor |
1995 |
Back R.J. R., Martin A. J., Sere K. |
|
|
|
Lecture Notes in Computer Science |
30.03.2002 |
|
СТ |
Developing Control Systems Components |
2000 |
Petre L., Sere K. |
|
|
|
Lecture Notes in Computer Science |
30.11.2000 |
|
СТ |
Safety Analysis in Formal Specification |
1999 |
Sere K., Troubitsyna E. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
Coordination Among Mobile Objects |
1999 |
Petre L., Sere K. |
|
|
|
Lecture Notes in Computer Science |
18.05.1999 |
|
СТ |
An Approach to Object-Orientation in Action Systems |
1998 |
Bonsangue M. M., Kok J. N., Sere K. |
|
|
|
Lecture Notes in Computer Science |
25.06.1998 |
|
СТ |
Coordination in the ImpUnity Framework |
1996 |
Goeman H.J. M., Kok J. N., Sere K., Udink R. T. |
|
|
|
Lecture Notes in Computer Science |
24.05.1996 |
|
СТ |
From Action Systems to Modular Systems |
1994 |
Back R.J. R., Sere K. |
|
|
|
Lecture Notes in Computer Science |
09.12.1994 |
