|
СТ |
Concurrent Semantics without the Notions of State or State Transitions |
2006 |
Lee E. A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
20.10.2006 |
|
СТ |
Modeling Timed Concurrent Systems |
2006 |
Liu X., Matsikoudis E., Lee E. A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
28.09.2006 |
|
СТ |
Operational Semantics of Hybrid Systems |
2005 |
Lee E. A., Zheng H. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.04.2005 |
|
СТ |
An Extensible Type System for Component-Based Design |
2000 |
Xiong Y., Lee E. A. |
|
|
|
Lecture Notes in Computer Science |
26.04.2000 |
