Browsing by Author T. Vasconcelos, Vasco
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Access Type |
|---|---|---|---|---|
| Mar-2012 | An algebra of behavioural types | Ravara, António; Resende, Pedro; T. Vasconcelos, Vasco | article |  |
