Causality for mobile processes

1995 ◽  
pp. 660-671 ◽  
Author(s):  
Pierpaolo Degano ◽  
Corrado Priami
Keyword(s):  
Mobile Processes

scholarly journals Mobile Processes: Enhancing Cooperation in Distributed Mobile Environments

2007 ◽  
Vol 2 (1) ◽  
Author(s):  
Christian P. Kunze ◽  
Sonja Zaplata ◽  
Winfried Lamersdorf
Keyword(s):  
Mobile Environments ◽  
Mobile Processes

scholarly journals Even Simple Processes of π-calculus are Hard for Analysis

2018 ◽  
Vol 25 (6) ◽  
pp. 589-606
Author(s):  
Marat M. Abbas ◽  
Vladimir A. Zakharov
Keyword(s):  
Information Security ◽  
Mathematical Models ◽  
Cryptographic Protocols ◽  
Bounded Number ◽  
Distributed Computations ◽  
Security Properties ◽  
Mobile Processes ◽  
Π Calculus ◽  
Np Complete ◽  
Turing Complete

Mathematical models of distributed computations, based on the calculus of mobile processes (π-calculus) are widely used for checking the information security properties of cryptographic protocols. Since π-calculus is Turing-complete, this problem is undecidable in general case. Therefore, the study is carried out only for some special classes of π-calculus processes with restricted computational capabilities, for example, for non-recursive processes, in which all runs have a bounded length, for processes with a bounded number of parallel components, etc. However, even in these cases, the proposed checking procedures are time consuming. We assume that this is due to the very nature of the π -calculus processes. The goal of this paper is to show that even for the weakest model of passive adversary and for relatively simple protocols that use only the basic π-calculus operations, the task of checking the information security properties of these protocols is co-NP-complete.

Mobile Technology for Knowledge Management

2011 ◽  
pp. 1625-1632
Author(s):  
Volker Derballa ◽  
Key Pousttchi
Keyword(s):  
Artificial Intelligence ◽  
Knowledge Management ◽  
Data Warehouse ◽  
Mobile Technology ◽  
Business Processes ◽  
Technological Infrastructure ◽  
It Support ◽  
Mobile Processes ◽  
Design Requirements ◽  
Mobile Context

IT support for knowledge management (KM) is a widely discussed issue. Whereas an overemphasis on technology is often criticized, the general consensus is that a well-balanced combination of technical and social approaches can be a rewarding departure (Alavi & Leidner, 1999). The usage of knowledge management systems (KMSs) (i.e., information systems including for example data warehouse techniques and artificial intelligence tools) is seen as a factor that can beneficially support different KM processes (Frank, 2001; Wiig, 1995). Due to the fact that an increasingly large proportion of work is not conducted in the context of stationary workplaces anymore, it becomes necessary to make KMSs available to those mobile workers (Rao, 2002; Sherman, 1999). Considering the different technological infrastructure in the stationary, as well as the mobile context, a KMS that so far is only available at a stationary workplace cannot simply become mobile without any changes. Further, the aspect of mobility implies specific design requirements for KMS. Taking together the rapid developments in the field of technology, allowing more and more mobile processes to be potentially supported through mobile KMS, as well as the current social and occupational developments, resulting in more mobile workplaces and business processes (Gruhn & Book, 2003), the relevance of mobile KM can be expected to increase in the future.

Calculus of Mobile Processes

2011 ◽  
pp. 220-220
Author(s):  
Guy L. Steele ◽  
Xiaowei Shen ◽  
Josep Torrellas ◽  
Mark Tuckerman ◽  
Eric J. Bohm ◽  
...  
Keyword(s):  
Mobile Processes

Mobile processes with a distributed environment

1996 ◽  
pp. 490-501 ◽  
Author(s):  
Chiara Bodei ◽  
Pierpaolo Degano ◽  
Corrado Priami
Keyword(s):  
Distributed Environment ◽  
Mobile Processes

scholarly journals Imperative objects as mobile processes

2002 ◽  
Vol 44 (3) ◽  
pp. 293-342 ◽  
Author(s):  
Josva Kleist ◽  
Davide Sangiorgi
Keyword(s):  
Mobile Processes
Sign in / Sign up

Export Citation Format

Share Document