202 search results - page 1 / 41 » Logical Mobility and Locality Types |
LOPSTR
2004
Springer
13 years 10 months ago
2004
Springer
LFCS
2009
Springer
13 years 11 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
FSTTCS
2005
Springer
13 years 10 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
BIRTHDAY
2005
Springer
13 years 7 months ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
FUZZIEEE
2007
IEEE
13 years 11 months ago
2007
IEEE
— The type-2 Fuzzy Logic Controller (FLC) has started to emerge as a promising control mechanism for autonomous mobile robots navigating in real world environments. This is becau...