Marcus Vinicius Santos

Publication Activity (10 Years)

Years Active: 1997-2006
Publications (10 Years): 0

Publications

Marcus Vinicius Santos
Executable denotations for concurrent languages using Concurrent Transaction Logic. WLP (2006)
Marcus Vinicius Santos
Denotational Semantics Using Horn Concurrent Transaction Logic. ICLP (2005)
Marcus Vinicius Santos, Marcio Rillo
Paradigm Using Transaction Logic. ECP (1997)