Filters








5,039 Hits in 6.1 sec

Authorization for Workflow Processes using Pi Calculus

ANSHULA GARG
2012 IOSR Journal of Engineering  
We therefore investigate the π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.  ... 
doi:10.9790/3021-02918083 fatcat:fmeuhg24lbdyvilwgrbhdvnvsi

Atomic Failure in Wide-Area Computation [chapter]

Dominic Duggan
2000 IFIP Advances in Information and Communication Technology  
The ATF 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.  ... 
doi:10.1007/978-0-387-35520-7_4 fatcat:fc7dyx4hzfee7d4apgnaipvzai

Mobile Processes: A Commented Bibliography [chapter]

Silvano Dal Zilio
2001 Lecture Notes in Computer Science  
We propose 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.  ... 
doi:10.1007/3-540-45510-8_11 fatcat:ksp2ci37rbc5jbwokvcs2ugspq

On Distributability in Process Calculi [chapter]

Kirstin Peters, Uwe Nestmann, Ursula Goltz
2013 Lecture Notes in Computer Science  
For this, we propose 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.  ... 
doi:10.1007/978-3-642-37036-6_18 fatcat:hdzudrm3vbfbhm4zh3pdzpknpu

Performance evaluation of DPS coordination strategies modelled in pi-calculus

Elham S. Khorasani, Norman Carver, Shahram Rahimi
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.  ... 
doi:10.1504/ijiids.2009.030438 fatcat:l47vjhaqjzh2bmyf553n3egcda

On the Distributability of Mobile Ambients

Kirstin Peters, Uwe Nestmann
2018 Electronic Proceedings in Theoretical Computer Science  
To analyse the quality 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-calculusa ) 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  ... 
doi:10.4204/eptcs.276.9 fatcat:u4x7uvwxwjbw5n6msivr6t6dge

ACVisualizer: A visualization tool for APi-calculus

Raheel Ahmad, Shahram Rahimi
2008 Multiagent and Grid Systems  
Due to the backward compatibility 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.  ... 
doi:10.3233/mgs-2008-4303 fatcat:huyrwoi7pbgt5kbd4cnnxr6mva

Notes on Nominal Calculi for Security and Mobility [chapter]

Andrew D. Gordon
2001 Lecture Notes in Computer Science  
These notes introduce three nominal calculi-the 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.  ... 
doi:10.1007/3-540-45608-2_5 fatcat:ma2go342yjfhditghe3qlr277i

Mobile Agents in Interaction Spaces

Frédéric Peschanski
2006 Electronical Notes in Theoretical Computer Science  
It also refines and implements the channel passing feature 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).  ... 
doi:10.1016/j.entcs.2005.12.033 fatcat:vxmaxwrsmfbrbfzyj5uue3efwu

On the Distributability of Mobile Ambients (Technical Report) [article]

Kirstin Peters, Uwe Nestmann
2018 arXiv   pre-print
To analyse the quality 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-calculusa ) 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  ... 
arXiv:1808.01599v1 fatcat:ulomlfpp3jgvhf5f7lwpmum76i

Deadlock verification of a DPS coordination strategy and its alternative model in pi-calculus

Pablo D. Robles Granda, Elham S. Khorasani, Shahram Rahimi, Norman Carver
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.  ... 
doi:10.1504/ijiids.2012.045847 fatcat:dyr6mcgugbhzlby7e7ulkkwfvy

Abstractions for Fault-Tolerant Global Computing

Dominic Duggan
2002 Electronical Notes in Theoretical Computer Science  
The pik-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.  ... 
doi:10.1016/s1571-0661(04)80419-5 fatcat:fqygq3tj6rhszcwfbj5bnlf5vi

dT-Calculus: A Formal Method to Specify Distributed Mobile Real-Time IoT Systems [chapter]

Sunghyeon Lee, Yeongbok Choe, Moonkun Lee
2018 Internet of Things - Technology, Applications and Standardization  
In order to overcome the limitations, this paper presents 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.  ... 
doi:10.5772/intechopen.75138 fatcat:qe2vwu4rprdpnahl7hktoevpde

On the Impact of Formal Methods in the SOA

Laura Bocchi, Paolo Ciancarini
2006 Electronical Notes in Theoretical Computer Science  
The former is the 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.  ... 
doi:10.1016/j.entcs.2006.05.018 fatcat:6cs4luj6mre3vbxpa7gcjhuub4

The Fusion Machine [chapter]

Philippa Gardner, Cosimo Laneve, Lucian Wischik
2002 Lecture Notes in Computer Science  
We implement in the fusion machine 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.  ... 
doi:10.1007/3-540-45694-5_28 fatcat:lnpanswwgnghtliwkbvaknegxe
« Previous Showing results 1 — 15 out of 5,039 results