6 search results - page 1 / 2 » The Mobility Workbench - A Tool for the pi-Calculus |
CAV
1994
Springer
13 years 11 months ago
1994
Springer
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
WICSA
2004
13 years 9 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
MOBISYS
2006
ACM
14 years 7 months ago
2006
ACM
Tool support for mobile application development can significantly improve programmer productivity and software quality. Pegboard is a novel tooling framework that extends the Ecli...
IPPS
2002
IEEE
14 years 16 days ago
2002
IEEE
Java mirror objects are building blocks for integrating web-based with high performance applications. This paper demonstrates the utility of mirror objects for construction of rem...