Results 221 to 230 of about 5,002 (241)
Some of the next articles are maybe not open access.
2014
We extend $$\pi $$ -calculus with real-time by adding clocks and assigning time-stamps to actions. The resulting formalism, timed $$\pi $$ -calculus, provides a simple and novel way to annotate transition rules of $$\pi $$ -calculus with timing constraints.
Neda Saeedloei, Gopal Gupta
openaire +1 more source
We extend $$\pi $$ -calculus with real-time by adding clocks and assigning time-stamps to actions. The resulting formalism, timed $$\pi $$ -calculus, provides a simple and novel way to annotate transition rules of $$\pi $$ -calculus with timing constraints.
Neda Saeedloei, Gopal Gupta
openaire +1 more source
2011
The applied pi calculus is a language for modelling security protocols. It is an extension of the pi calculus, a language for studying concurrency and process interaction. This chapter presents the applied pi calculus in a tutorial style. It describes reachability, correspondence, and observational equivalence properties, with examples showing how to ...
Ryan Mark D., Smyth Ben
openaire +1 more source
The applied pi calculus is a language for modelling security protocols. It is an extension of the pi calculus, a language for studying concurrency and process interaction. This chapter presents the applied pi calculus in a tutorial style. It describes reachability, correspondence, and observational equivalence properties, with examples showing how to ...
Ryan Mark D., Smyth Ben
openaire +1 more source
2001
Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and
Davide Sangiorgi, David Walker
openaire +1 more source
Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and
Davide Sangiorgi, David Walker
openaire +1 more source
Modeling ontology evolution via Pi-Calculus
Information Sciences, 2016zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zhang, Rui +3 more
openaire +1 more source
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96, 1996
The economy and flexibility of the pi-calculus make it an attractive object of theoretical study and a clean basis for concurrent language design and implementation. However, such generality has a cost: encoding higher-level features like functional computation in pi-calculus throws away potentially useful information.
N. Kobayashi, B. C. Pierce, D. N. Turner
openaire +1 more source
The economy and flexibility of the pi-calculus make it an attractive object of theoretical study and a clean basis for concurrent language design and implementation. However, such generality has a cost: encoding higher-level features like functional computation in pi-calculus throws away potentially useful information.
N. Kobayashi, B. C. Pierce, D. N. Turner
openaire +1 more source
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, 2001
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations guarantees that no run-time errors due to un trusted data being used in a trusted context are possible. We improve on other similar systems[18] by introducing a safe environment
Mark Hepburn, David Wright
openaire +1 more source
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations guarantees that no run-time errors due to un trusted data being used in a trusted context are possible. We improve on other similar systems[18] by introducing a safe environment
Mark Hepburn, David Wright
openaire +1 more source
A functional presentation of Pi calculus
Science in China Series F Information Sciences, 2001zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 2007
Abramsky's logical formulation of domain theory is extended to encompass the domain theoretic model for pi-calculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is done by defining a logical counterpart of categorical constructions including dynamic name allocation and name exponentiation, and showing that they are dual to standard ...
Bonsangue, Marcello M., Kurz, Alexander
openaire +2 more sources
Abramsky's logical formulation of domain theory is extended to encompass the domain theoretic model for pi-calculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is done by defining a logical counterpart of categorical constructions including dynamic name allocation and name exponentiation, and showing that they are dual to standard ...
Bonsangue, Marcello M., Kurz, Alexander
openaire +2 more sources
2007
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world.
openaire +1 more source
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world.
openaire +1 more source
2011
The article is an introduction and a survey on the pi-calculus, a process calculus that models mobile systems, i.e., systems with a dynamically changing communication topology. It refines the constructs of CCS by allowing the exchange of communication links. Ideas from the lambda-calculus have also been influential.
openaire +1 more source
The article is an introduction and a survey on the pi-calculus, a process calculus that models mobile systems, i.e., systems with a dynamically changing communication topology. It refines the constructs of CCS by allowing the exchange of communication links. Ideas from the lambda-calculus have also been influential.
openaire +1 more source