|
СТ |
Executable Specifications of P Systems |
2005 |
Andrei O., Ciobanu G., Lucanu D. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
22.04.2005 |
|
СТ |
Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra |
2004 |
Sridhar K. N., Ciobanu G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.12.2004 |
|
СТ |
Specification and Verification of Synchronizing Concurrent Objects |
2004 |
Ciobanu G., Lucanu D. |
|
|
|
Lecture Notes in Computer Science |
21.05.2004 |
|
СТ |
Abstract Structures for Communication between Processes |
2000 |
Ciobanu G., Olariu E. F. |
|
|
|
Lecture Notes in Computer Science |
18.02.2000 |
|
СТ |
Abstract Structures for Communication |
1999 |
Ciobanu G., Olariu F. |
|
|
|
Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf. |
01.07.1999 |
