28 search results - page 6 / 6 » A Kleene Analysis of Mobile Ambients |
IANDC
2006
13 years 4 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
IFIP
2004
Springer
13 years 10 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
MMAS
2004
Springer
13 years 10 months ago
2004
Springer
d to submit first an abstract (to signal your interest and contribution) and then a full paper (for review) to the workshop. All accepted papers will be published as a volume from ...