|
СТ |
Weak Stochastic Bisimulation for Non-Markovian Processes |
2005 |
Lopez N., Nunez M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.11.2005 |
|
СТ |
Formal Specification of Symbolic-Probabilistic Systems |
2004 |
Lopez N., Nunez M., Rodriguez I. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.12.2004 |
|
СТ |
Stochastic Process Algebras Meet Eden |
2002 |
Lopez N., Nunez M., Rubio F. |
|
|
|
Lecture Notes in Computer Science |
21.06.2002 |
|
СТ |
Deriving Software Specifications from Event Based Models |
2000 |
Lopez N., Simonot M., Donzeau-Gouge V. V. |
|
|
|
Lecture Notes in Computer Science |
21.10.2000 |
