Results 1  10
of
153,054
A calculus of mobile processes, I
, 1992
"... We present the acalculus, a calculus of communicating systems in which one can naturally express processes which have changing structure. Not only may the component agents of a system be arbitrarily linked, but a communication between neighbours may carry information which changes that linkage. The ..."
Abstract

Cited by 1183 (31 self)
 Add to MetaCart
We present the acalculus, a calculus of communicating systems in which one can naturally express processes which have changing structure. Not only may the component agents of a system be arbitrarily linked, but a communication between neighbours may carry information which changes that linkage
A calculus for cryptographic protocols: The spi calculus
 Information and Computation
, 1999
"... We introduce the spi calculus, an extension of the pi calculus designed for the description and analysis of cryptographic protocols. We show how to use the spi calculus, particularly for studying authentication protocols. The pi calculus (without extension) suffices for some abstract protocols; the ..."
Abstract

Cited by 919 (55 self)
 Add to MetaCart
; the spi calculus enables us to consider cryptographic issues in more detail. We represent protocols as processes in the spi calculus and state their security properties in terms of coarsegrained notions of protocol equivalence.
A Logical Process Calculus
, 2002
"... This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifiations. Syntactically, LPC extends Milner's Calculus of Communicating Systems with operators from the alternationfree line ..."
Abstract

Cited by 11 (1 self)
 Add to MetaCart
This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifiations. Syntactically, LPC extends Milner's Calculus of Communicating Systems with operators from the alternation
Concurrent Objects in a Process Calculus
 In Theory and Practice of Parallel Programming (TPPP
, 1995
"... A programming style based on concurrent objects arises almost inevitably in languages where processes communicate by exchanging data on channels. Using the pict language as an experimental testbed, we introduce a simple objectbased programming style and compare three techniques for controlling conc ..."
Abstract

Cited by 76 (5 self)
 Add to MetaCart
from the requirements of programming in a standard process calculus, we consider the suit...
Modeling consensus in a process calculus
 In CONCUR: 14th International Conference on Concurrency Theory. LNCS
, 2003
"... Abstract. We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failure detectors (♦S); we use our model to formally prove that the algorithm satisfies its specification. 1 ..."
Abstract

Cited by 34 (4 self)
 Add to MetaCart
Abstract. We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failure detectors (♦S); we use our model to formally prove that the algorithm satisfies its specification. 1
Topology, Randomness and Noise in Process Calculus∗
"... Formal models of communicating and concurrent systems are one of the most important topics in formal methods, and process calculus is one of the most successful formal models of communicating and concurrent systems. In the previous works, the author systematically studied topology in process calcul ..."
Abstract
 Add to MetaCart
Formal models of communicating and concurrent systems are one of the most important topics in formal methods, and process calculus is one of the most successful formal models of communicating and concurrent systems. In the previous works, the author systematically studied topology in process
An Instruction Set Process Calculus
"... We have created a calculus for reasoning about hardware and firmware at the algorithmic state machine (ASM) and instructionset processor (ISP) levels of description. The calculus is a valuepassing process algebra that extends the Mealy machine model to include parallel composition. It supports rea ..."
Abstract
 Add to MetaCart
We have created a calculus for reasoning about hardware and firmware at the algorithmic state machine (ASM) and instructionset processor (ISP) levels of description. The calculus is a valuepassing process algebra that extends the Mealy machine model to include parallel composition. It supports
Behavioural hybrid process calculus
, 2005
"... Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concurrent discrete event systems that has been developed within computer science in past quarter century. It has generated a deeper understanding of the nature of concepts such as observable behaviour i ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concurrent discrete event systems that has been developed within computer science in past quarter century. It has generated a deeper understanding of the nature of concepts such as observable behaviour
Modeling Consensus in a Process Calculus
 In CONCUR: 14th International Conference on Concurrency Theory. LNCS
, 2003
"... We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failure detectors (#S); we use our model to formally prove that the algorithm satisfies its specification. ..."
Abstract
 Add to MetaCart
We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failure detectors (#S); we use our model to formally prove that the algorithm satisfies its specification.
A Process Calculus of Atomic Commit
 WSFM 2004 PRELIMINARY VERSION
, 2004
"... This article points out a strong connection between process calculi and atomic commit. Process calculus rendezvous is an abstract semantics for atomic commitment. An implementation of processcalculus rendezvous is an atomic commit protocol. Thus, the traditional correctness properties for atomic c ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
This article points out a strong connection between process calculi and atomic commit. Process calculus rendezvous is an abstract semantics for atomic commitment. An implementation of processcalculus rendezvous is an atomic commit protocol. Thus, the traditional correctness properties for atomic
Results 1  10
of
153,054