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
http://www.ufba.br/~ulisses/astlc.html
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.