| |
| 2008 | ||
|---|---|---|
| 2 | EE | Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang: An Exercise on Transition Systems. Electr. Notes Theor. Comput. Sci. 207: 89-106 (2008) |
| 2006 | ||
| 1 | EE | Paula R. Ribeiro, Marco Antonio Barbosa, Luís Soares Barbosa: Generic Process Algebra: A Programming Challenge. J. UCS 12(7): 922-937 (2006) |
| 1 | Luís Soares Barbosa | [1] [2] |
| 2 | Marco Antonio Barbosa | [1] |
| 3 | Shuling Wang | [2] |