Peter J. McCann, Gruia-Catalin Roman  Home/Search
Context Related
| belllabs.com/user/m...ReactiveMU.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: belllabs.com/user...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ions for Mobile Computing Peter J. McCann, Gruia-Catalin Roman P. McCann is with Lucent Technologies, Naperville, Illinois. E-mail: mccap@research.bell-labs.com. G.-C. Roman is with the Department of Computer Science, Washington University, St. Louis, Missouri. E-mail: roman@cs.wustl.edu. October 12, 1997 DRAFT IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. XX, NO. X, MONTH 1998 2 Abstract Recent advances in wireless networking technology and the increasing demand for ubiquitous, mobile... (Update)
Cited by: More
A Formal Framework for Agent Itinerary Specification, Security.. - Lu, Xu (Correct)
Specification and Selection of Network Management Agents - Satoh (2003) (Correct)
CODEWEAVE: Exploring Fine-Grained Mobility of Code - Cecilia Mascolo Gian (2000) (Correct)
Similar documents (at the sentence level):
25.5%: Washington - School Of (1997) (Correct)
10.2%: An Introduction to Mobile UNITY - Roman, al. (1997) (Correct)
7.8%: A Notation and Logic for Mobile Computing - Gruia-Catalin Roman And (1998) (Correct)
Active bibliography (related documents): More All
1.3: Compositional Programming Abstractions for Mobile Computing - McCann, Roman (1998) (Correct)
0.1: Specifying a Communication Protocol And Composing Transaction .. - Mohanty, George (1998) (Correct)
0.1: The IOA Language and Toolset: Support for Designing.. - Garland, Lynch (1998) (Correct)
Similar documents based on text: More All
0.1: Boosting bit rates in non-invasive EEG single-trial .. - Dornhege.. (2004) (Correct)
0.1: Implementation and performance evaluation of a parallel .. - Houtsma, Wilschut.. (1993) (Correct)
0.1: Algorithmic Issues in Mobile Environments with Fixed Hosts - Papadopoulou, Spirakis (1999) (Correct)
Related documents from co-citation: More All
22: Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
15: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
14: Information and Computation (context) - Milner, Parrow et al. - 1992
BibTeX entry: (Update)
P.J. McCann and G.-C. Roman. Compositional programming abstractions for mobile computing. IEEE Transactions on Software Engineering, February 1998. To appear. http://citeseer.ist.psu.edu/mccann98compositional.html More
@article{ mccann98compositional,
author = "Peter J. McCann and Gruia-Catalin Roman",
title = "Compositional Programming Abstractions for Mobile Computing",
journal = "Software Engineering",
volume = "24",
number = "2",
pages = "97-110",
year = "1998",
url = "citeseer.ist.psu.edu/mccann98compositional.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978
739 Impossibility of distributed consensus with one faulty proce.. (context) - Fischer, Lynch et al. - 1985
716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
673 Actors: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
650 An axiomatic basis for computer programming (context) - Hoare - 1969
297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
199 An introduction to input/output automata (context) - Lynch, Tuttle - 1989
184 Context-aware computing applications - Schilit, Adams et al. - 1994
153 the minimal synchronism needed for distributed consensus (context) - Dolev, Dwork et al. - 1987
96 Experience with disconnected operation in a mobile computing.. - Satyanarayanan, Kistler et al. - 1993
50 Mobisaic: An information system for a mobile wireless comput.. - Voelker, Bershad - 1994
46 Managing update conflicts in Bayou, a weakly connected repli.. - Terry, Theimer et al. - 1995
44 Anomalous behavior of synchronizer and arbiter circuits (context) - Chaney, Molnar - 1973
42 Distributed processes and location failures - Riely, Hennessy - 1997
36 A logic for concurrent programming: Safety (context) - Misra - 1995
35 A logic for concurrent programming: Progress (context) - Misra - 1995
28 An algebraic verification of a mobile network - Orava, Parrow - 1991
20 Foundations of actor semantics (context) - Clinger - 1981
14 Fundamentals of object-oriented specification and modeling o.. (context) - Kurki-Suonio - 1996
8 An asynchronous model of locality, failure, and process mobi.. - Amadio - 1997
6 Mobile UNITY: Reasoning and specification in mobile computin.. (context) - Roman, McCann et al. - 1997
6 Formal derivation of concurrent programs: An example from in.. (context) - Staskauskas - 1993
2 Specification and proof of an algorithm for location managem.. (context) - Sanders, Massingill et al. - 1997
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC