Marcus Vinicius Santos

According to our database, Marcus Vinicius Santos authored at least 3 papers between 1997 and 2006.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2006

Executable denotations for concurrent languages using Concurrent Transaction Logic.

Marcus Vinicius Santos

Proceedings of the 20th Workshop on Logic Programming, 2006

2005

Denotational Semantics Using Horn Concurrent Transaction Logic.

Marcus Vinicius Santos

Proceedings of the Logic Programming, 21st International Conference, 2005

1997

Approaching the <i>Plans are Programs</i> Paradigm Using Transaction Logic.

Marcus Vinicius Santos, Marcio Rillo

Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997