A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
Authorization for Workflow Processes using Pi Calculus

2012
*
IOSR Journal of Engineering
*

We therefore investigate the π

doi:10.9790/3021-02918083
fatcat:fmeuhg24lbdyvilwgrbhdvnvsi
*calculus*from*a*technical viewpoint based on current work in this*area*. ...*Pi*-*calculus*can be applied in business process modeling. ... By contrast,*Pi**Calculus*engines provide the illusion*of**communication*between participants*with*no requirement for message passing. ...##
###
Atomic Failure in Wide-Area Computation
[chapter]

2000
*
IFIP Advances in Information and Communication Technology
*

The ATF

doi:10.1007/978-0-387-35520-7_4
fatcat:fc7dyx4hzfee7d4apgnaipvzai
*Calculus*is*a*kernel language for wide-*area*network programming languages,*with*atomic faHure semantics as its central organizing principle. ...*A*channel is used for asynchronous*communication*between processes. As in the Ambient*Calculus*and the Seal*Calculus*, an*communication*is*local*within an administrative domain. ... The*distribution**of*the sites raises the possibility*of**localized*site failures and network partitions, and there should be some support for coping*with*such failures. ...##
###
Mobile Processes: A Commented Bibliography
[chapter]

2001
*
Lecture Notes in Computer Science
*

We propose

doi:10.1007/3-540-45510-8_11
fatcat:ksp2ci37rbc5jbwokvcs2ugspq
*a*short bibliographic survey*of*calculi for mobile processes. ... as modelled in the π-*calculus**of*Milner, Parrow and Walker for example, and motile processes, which can exhibit motion, as modelled in the ambient*calculus**of*Cardelli and Gordon. ... Luca Cardelli and Andy Gordon commented on*a*previous version*of*this text. ...##
###
On Distributability in Process Calculi
[chapter]

2013
*
Lecture Notes in Computer Science
*

For this, we propose

doi:10.1007/978-3-642-37036-6_18
fatcat:hdzudrm3vbfbhm4zh3pdzpknpu
*a*new quality criterion that (1) measures the preservation*of**distributability*and (2) allows us to derive two synchronisation patterns that separate several variants*of**pi*-like calculi ... Precisely, we prove that there is no good and*distributability*-preserving encoding from the synchronous*pi*-*calculus**with*mixed choice into its fragment*with*only separate choice, and neither from the asynchronous ... P −→ P i for i ∈ {*a*, b Note that in the*pi*-*calculus*every and every M is non-*local*. ...##
###
Performance evaluation of DPS coordination strategies modelled in pi-calculus

2009
*
International Journal of Intelligent Information and Database Systems
*

*Distributed*problem solving (DPS) is

*a*subfield

*of*Multi-Agent Systems (MAS) concerned

*with*using systems

*of*agents to solve large-scale,

*distributed*problems like data interpretation in sensor networks ... In particular, we investigated the use

*of*

*pi*-

*calculus*as

*a*formal framework for defining multi-agent coordination strategies for DPS, as well as techniques for evaluating the time performance

*of*such strategies ... Previous work on performance evaluation associates each action in

*pi*-

*calculus*

*with*

*a*value, which is the rate

*of*the action as modeled

*with*an exponential

*distribution*. ...

##
###
On the Distributability of Mobile Ambients

2018
*
Electronic Proceedings in Theoretical Computer Science
*

To analyse the quality

doi:10.4204/eptcs.276.9
fatcat:u4x7uvwxwjbw5n6msivr6t6dge
*of*mobile ambients as*a*good foundational model for*distributed*computation, we analyse the level*of*synchronisation between*distributed*components that they can express. ... Finally, we discuss how these results can be used to obtain*a*fully*distributed*variant*of*mobile ambients. ... As shown in [22] , all M in the join-*calculus*(J) are*local*but the asynchronous*pi*-*calculus*(π*a*) contains the non-*local*M: y u | y(x) .P 1 | y v | y(x) .P 2*with*P 1 , P 2 ∈ P*a*, where the steps*a*...##
###
ACVisualizer: A visualization tool for APi-calculus

2008
*
Multiagent and Grid Systems
*

Due to the backward compatibility

doi:10.3233/mgs-2008-4303
fatcat:huyrwoi7pbgt5kbd4cnnxr6mva
*of*APicalculus*with**Pi*-*calculus*, ACVisualizer can easily be adapted to work*with**Pi*-*calculus*itself. Dr. ... Rahimi has been recently awarded two grants in the*area**of*geospatial data integration and Intelligent Agents. ... The system consists*of**a*mobile phone user traveling in*a*car*with*the phone in direct*communication**with*different transmitters, representing different signal*areas*at different times. ...##
###
Notes on Nominal Calculi for Security and Mobility
[chapter]

2001
*
Lecture Notes in Computer Science
*

These notes introduce three nominal calculi-the

doi:10.1007/3-540-45608-2_5
fatcat:ma2go342yjfhditghe3qlr277i
*pi**calculus*, the spi*calculus*, and the ambient*calculus*. We describe some typical techniques, and survey related work. ... There is great interest in applying nominal calculi-computational formalisms that include dynamic name generation-to the problems*of*programming, specifying, and verifying secure and mobile computations ... Castagna commented on*a*draft*of*these notes. ...##
###
Mobile Agents in Interaction Spaces

2006
*
Electronical Notes in Theoretical Computer Science
*

It also refines and implements the channel passing feature

doi:10.1016/j.entcs.2005.12.033
fatcat:vxmaxwrsmfbrbfzyj5uue3efwu
*of*the*pi*-*calculus*, together*with*the mobility*of*agent themselves. ... The framework captures high-level*distributed*semantics, most notably asynchronous, multicast*communications*on FIFO channels. ... Acknowledgments We would like to thank Reynald Affeldt for providing the geometrical metaphor*of*interaction spaces (and also for the figures accompanying the paper). ...##
###
On the Distributability of Mobile Ambients (Technical Report)
[article]

2018
*
arXiv
*
pre-print

To analyse the quality

arXiv:1808.01599v1
fatcat:ulomlfpp3jgvhf5f7lwpmum76i
*of*mobile ambients as*a*good foundational model for*distributed*computation, we analyse the level*of*synchronisation between*distributed*components that they can express. ... Finally, we discuss how these results can be used to obtain*a*fully*distributed*variant*of*mobile ambients. ... As shown in [22] , all M in the join-*calculus*(J) are*local*but the asynchronous*pi*-*calculus*(π*a*) contains the non-*local*M: y u | y(x) .P 1 | y v | y(x) .P 2*with*P 1 , P 2 ∈ P*a*, where the steps*a*...##
###
Deadlock verification of a DPS coordination strategy and its alternative model in pi-calculus

2012
*
International Journal of Intelligent Information and Database Systems
*

*A*key issue for

*distributed*problem solving (DPS) systems is coordination

*of*the agent's actions, and methods for producing effective coordination strategies remain an active

*area*

*of*research. ... In this paper, we focus on verification

*of*coordination strategies. More specifically, we utilise the formal semantics

*of*

*pi*-

*calculus*to detect deadlocks in

*a*coordination strategy. ... While

*pi*-

*calculus*is extremely powerful and flexible for defining (

*distributed*) processes, the downside

*of*this flexibility is the complexity

*of*defining strategies in basic

*pi*-

*calculus*. ...

##
###
Abstractions for Fault-Tolerant Global Computing

2002
*
Electronical Notes in Theoretical Computer Science
*

The pik-

doi:10.1016/s1571-0661(04)80419-5
fatcat:fqygq3tj6rhszcwfbj5bnlf5vi
*calculus*extends the asynchronous*pi*-*calculus**with**a*notion*of*logs and "safe" operations for modifying those logs. 116 Open access under CC BY-NC-ND license. ... This paper introduces the pik-*calculus*,*a**calculus*for asynchronous*distributed*programming that incorporates abstractions for building faulttolerant global applications. ... The rules for processes P are the usual equivalence rules for the*pi*-*calculus*, including extrusion*of*scope*of**locally*generated names. ...##
###
dT-Calculus: A Formal Method to Specify Distributed Mobile Real-Time IoT Systems
[chapter]

2018
*
Internet of Things - Technology, Applications and Standardization
*

In order to overcome the limitations, this paper presents

doi:10.5772/intechopen.75138
fatcat:qe2vwu4rprdpnahl7hktoevpde
*a*process algebra, called, dT-*Calculus*, extended from d-*Calculus*, by providing*with*capability*of*specifying the set*of*time properties, as well ... For example, Timed*pi*-*Calculus*has capability*of*specifying time property, but is lack*of*direct specifying both execution time*of*action and mobility*of*process at the same time. ... The notion*of*clock in Timed*pi*-*Calculus*is based on*local*clock concept, which allows various kinds*of*temporal restriction conditions. ...##
###
On the Impact of Formal Methods in the SOA

2006
*
Electronical Notes in Theoretical Computer Science
*

The former is the

doi:10.1016/j.entcs.2006.05.018
fatcat:6cs4luj6mre3vbxpa7gcjhuub4
*local*perspective*of*the business process: transactions are*a*control construct providing*a*user-defined error handling mechanism. ... We present an overview*of*recent research that provide*a*formal analysis*of*coordination and composition in Service Oriented Architectures. ... coordination*of*Web services*with*the*pi**calculus*. ...##
###
The Fusion Machine
[chapter]

2002
*
Lecture Notes in Computer Science
*

We implement in the fusion machine

doi:10.1007/3-540-45694-5_28
fatcat:lnpanswwgnghtliwkbvaknegxe
*a*solos*calculus**with*explicit fusions. There are encodings into this*calculus*from the*pi**calculus*and the explicit fusion*calculus*. ... We present*a*new model for the*distributed*implementation*of*pilike calculi. This model is*a*close match to*a*variety*of*calculi, and so permits strong correctness results that are easy to prove. ... Introduction The*pi**calculus*has become*a*dominant*calculus*in the field*of*concurrency,*with*many variants. ...
« Previous

*Showing results 1 — 15 out of 5,039 results*