Marcus Vinicius Santos

	2006
3		Marcus Vinicius Santos: Executable denotations for concurrent languages using Concurrent Transaction Logic. WLP 2006: 71-80
	2005
2		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

Coauthor Index

1

Marcio Rillo

[1]