A New Manuscript

I have just finished writing an article related to semantics of
programming languages that support code mobility. The title and
the corresponding URLs are:

  o A Space-Time Logic and the @-Calculus

And comments, suggestions, criticisms or references from and
of yours are naturally welcome. Thank you for the attention.

Ulisses Ferreira
Th-1: [Humour] There does not exist any logic before nine.