526 search results - page 11 / 106 » Type Abstractions of Name-Passing Processes |
COORDINATION
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
COSIT
2007
Springer
14 years 15 days ago
2007
Springer
Abstract. Landmarks are crucial for human wayfinding. Their integration in wayfinding assistance systems is essential for generating cognitively ergonomic route directions. I prese...
BIRTHDAY
2005
Springer
13 years 10 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...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
RIVF
2007
13 years 10 months ago
2007
Abstract— We propose in this paper a generalization of percolation processes in Z2 using the pretopology theory. We formalize the notion of neighborhood by extending it to the co...