Learn More
A common characteristic of process algebras is that they permit us the partial description of concurrent systems by including non-deterministic behaviours. These non-deterministic components are abstractions of the actual ones, and they can be detailed in successive refinements. This paper proposes an enrichment of the above abstraction. It defines a formal(More)
In this paper, we present a TDMA based multiple access technique for ATM over satellite. We consider an scenario where a large number of remote stations are connected to the ATM cloud via satellite. We focus on performance evaluation for CBR, VBR and ABR traffic with markovian analysis and simulation. We calculate equivalent bandwidth for VBR traffic in(More)
  • 1