| |
| 2006 | ||
|---|---|---|
| 3 | EE | Marcus Vinicius Santos: Executable denotations for concurrent languages using Concurrent Transaction Logic. WLP 2006: 71-80 |
| 2005 | ||
| 2 | EE | Marcus Vinicius Santos: Denotational Semantics Using Horn Concurrent Transaction Logic. ICLP 2005: 431-432 |
| 1997 | ||
| 1 | Marcus Vinicius Santos, Marcio Rillo: Approaching the Plans are Programs Paradigm Using Transaction Logic. ECP 1997: 377-389 | |
| 1 | Marcio Rillo | [1] |