CSP‖B is a combination of CSP and B which supports the design and verification of systems where control and state are both important. Recent work on combining the pi-calculus with B introduces mobility into the control of B machines and enables them to be passed around. This additional functionality is appropriate for modeling systems such as peer-to-peer networks. While the pi-calculus is appropriate for the description of mobility, the semantic foundation for pi |B is cumbersome for reasoning about systems, and a CSP based approach may be preferable. This paper considers how CSP can be extended to support mobile channels while retaining a trace-based semantics, within the context of CSP‖B. While this is difficult for CSP in general, the r...
For a long time, the quest for a formal foundation of concurrent programming has kept semanticists h...
UTP promotes the unification of programming theories and has been used successfully for giving deno...
We model the behaviour of a mobility-enhanced network protocol stack in the pure -calculus, and use ...
CSP||B is a combination of CSP and B in which CSP processes are used as control executives for B mac...
Abstract: CSP‖B is a combination of CSP and B in which CSP processes are used as control executives ...
Formal methods are mathematically based languages for producing verifiable, consistent and more reli...
CSP processes have a static view of their environment -- a fixed set of events through which they sy...
Specifications and implementations of systems need to be concerned with the interactions that can oc...
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and t...
Recent advances in wireless networking technology and the increasing demand for ubiquitous, mobile c...
International audienceProcess algebras such as CSP or the Pi-calculus are theories to reason about c...
The paper aims at providing a formal system, motivated by Dijkstra’s weakest precondition logic, for...
In a mobile communication network some nodes change location, and are therefore connected to differe...
Ubiquitous computing makes various computing devices available throughout the physical setting. Ubiq...
This paper presents a formalism related to mobile agents. It describes the higher order pi-calculus,...
For a long time, the quest for a formal foundation of concurrent programming has kept semanticists h...
UTP promotes the unification of programming theories and has been used successfully for giving deno...
We model the behaviour of a mobility-enhanced network protocol stack in the pure -calculus, and use ...
CSP||B is a combination of CSP and B in which CSP processes are used as control executives for B mac...
Abstract: CSP‖B is a combination of CSP and B in which CSP processes are used as control executives ...
Formal methods are mathematically based languages for producing verifiable, consistent and more reli...
CSP processes have a static view of their environment -- a fixed set of events through which they sy...
Specifications and implementations of systems need to be concerned with the interactions that can oc...
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and t...
Recent advances in wireless networking technology and the increasing demand for ubiquitous, mobile c...
International audienceProcess algebras such as CSP or the Pi-calculus are theories to reason about c...
The paper aims at providing a formal system, motivated by Dijkstra’s weakest precondition logic, for...
In a mobile communication network some nodes change location, and are therefore connected to differe...
Ubiquitous computing makes various computing devices available throughout the physical setting. Ubiq...
This paper presents a formalism related to mobile agents. It describes the higher order pi-calculus,...
For a long time, the quest for a formal foundation of concurrent programming has kept semanticists h...
UTP promotes the unification of programming theories and has been used successfully for giving deno...
We model the behaviour of a mobility-enhanced network protocol stack in the pure -calculus, and use ...