The search functionality is under construction.
The search functionality is under construction.

Keyword Search Result

[Keyword] MOBILE(969hit)

821-840hit(969hit)

  • Transmission Experiments on Slow-FH/16QAM System for Land Mobile Communications

    Kiyoshi HAMAGUCHI  Eimatsu MORIYAMA  Yukiyoshi KAMIO  Hideichi SASAOKA  

     
    PAPER

      Vol:
    E81-B No:7
      Page(s):
    1444-1452

    A slow frequency-hopping/16-ary quadrature amplitude modulation (slow-FH/16QAM) system based on time-division-multiple-access (TDMA) is appropriate for third-generation land mobile cellular communications because of its high immunity to interference. The system uses 16QAM for high spectral efficiency and slow-FH and forward-error-correction (FEC) for high-quality transmission. To reduce sensitivity to interference, the system uses an improved decoding scheme based on a minimum Euclidean-distance which is effective when the interference level is dispersed by FH. The bit error rate (BER) of the system due to interference has been evaluated in a previous study, both theoretically and by computer simulation. Although computer-simulated results showed that the system improved the BER, the hardware feasibility was not considered. This paper presents a hardware implementation of the system and the results of experimental transmission using equipment we developed to verify the system and to confirm the BER performance. The laboratory experimental results indicated that the system could provide high-quality transmission over a channel that has frequency-selective fading and co-channel interference. This system provided an Eb/N0 of 9 dB with space diversity and one of 15 dB without it, when BER=10-3 and fd=120 Hz. Field experiments were also conducted in a suburban area of Tokyo to demonstrate the BER performance. The results meant that the system could lower sensitivity to vehicle velocity more than a system without FH and that the BER performance of the system was improved notably against that of a system without FH, especially at low vehicle velocity.

  • Channel Estimation Filter Using Time-Multiplexed Pilot Channel for Coherent RAKE Combining in DS-CDMA Mobile Radio

    Hidehiro ANDOH  Mamoru SAWAHASHI  Fumiyuki ADACHI  

     
    PAPER-Mobile Communication

      Vol:
    E81-B No:7
      Page(s):
    1517-1526

    An improved pilot symbol-assisted channel estimation filter, called the weighted multi-slot averaging(WMSA)channel estimation filter, is presented for DS-CDMA transmission links using coherent RAKE combining. Known pilot symbols are periodically time-multiplexed with the sequence of transmitted data symbols; they are placed at the beginning of each data slot. The WMSA channel estimation filter extends the observation interval over several slots. The average bit error rate (BER) performance achievable with coherent RAKE combining using the proposed WMSA channel estimation filter is evaluated by computer simulations in a frequency selective multipath Rayleigh fading channel and the results are compared with those achievable with the use of other channel estimation filters such as an interpolation filter. The DS-CDMA reverse link requires fast transmit power control(TPC). In this paper, we also consider fast TPC based on the measurement of signal-to-interference plus background noise ratio(SIR). The average BER performance with the time-multiplexed pilot channel is also compared with that with the parallel pilot channel.

  • A Dynamic Timeslot Assignment Algorithm for Asymmetric Traffic in Multimedia TDMA/TDD Mobile Radio

    Lan CHEN  Susumu YOSHIDA  Hidekazu MURATA  Shouichi HIROSE  

     
    PAPER

      Vol:
    E81-A No:7
      Page(s):
    1358-1366

    Personal communication systems are increasingly required to accommodate not only voice traffic, but also various types of data traffic. Generally speaking, voice traffic is symmetric between uplink and downlink, while data traffic can be highly asymmetric. It is therefore inefficient to accommodate data in a conventional TDMA/TDD system with fixed TDD boundary. In this paper, focusing on the continuous data traffic which requires multi-slots in a circuit based TDMA/TDD system, an algorithm is proposed in which the TDD boundary are moved adaptively to accommodate data traffic efficiently. Comparing with the boundary-fixed conventional algorithm, computer simulations confirm that the proposed algorithm has superior performance in the excessive transmission delay of data while maintaining the performance of voice. The intercell interference between mobiles due to different TDD boundaries is also confirmed to be negligible. Moreover, almost the similar performance improvements of the proposed algorithm are confirmed for two different average message sizes of data calls.

  • Principles of Turbo Codes and Their Application to Mobile Communications

    Akihisa USHIROKAWA  Toshihiko OKAMURA  Norifumi KAMIYA  Branka VUCETIC  

     
    INVITED PAPER

      Vol:
    E81-A No:7
      Page(s):
    1320-1329

    This paper gives an overview of Turbo codes principles, performance, and design issues for practical application. As fundamentals of Turbo codes, encoder structure, interleaver, and iterative decoding are explained. The performance is analyzed through their weight distribution, and the analysis gives code design rules for component codes. Practical decoding algorithms are presented in addition to MAP algorithm. Design issues are discussed for mobile communications as an example of practical application. Finally, research trends are briefly mentioned.

  • Implementation of and Field Experiment on High-Speed Multimedia Multimode TDMA Radio Transmission Systems

    Eimatsu MORIYAMA  Yukiyoshi KAMIO  Kiyoshi HAMAGUCHI  

     
    PAPER

      Vol:
    E81-B No:7
      Page(s):
    1433-1443

    This paper gives laboratory as well as the results of field experiment and describes the implementation of a system developed to evaluate and demonstrate multimedia multimode time division multiple access (MTDMA). The equipment has been developed with the radio transmission technology for future public land mobile telecommunication systems (FPLMTS/IMT-2000) in mind. To meet FPLMTS/IMT-2000 requirements the system employs the following techniques: a hybrid multiplex modulation system consisting of quadrature phase shift keying (QPSK) and 16-ary quadrature amplitude modulation (16QAM), a high data transmission bit rate of 2 Mbit/sec for QPSK, 4 Mbit/sec for 16QAM, and diversity combining and adaptive equalization technique. For the diversity adaptive equalization technique, we used a decision feedback equalizer (DFE) consisting of one feedback (FB) transversal filter and two feed-forward transversal (FF) filters. The output signals from two branches of space diversity reception antennas are then fed to the two FF filters of the DFE. For middle-speed mobile radio communication for a micro-cellular pedestrian environment, a QPSK modulation system is selected to obtain wide coverage, while for a pico-cellular indoor office environment, the delay spread is small, and a 16QAM modulation system is selected to achieve a high bit rate. The results given here of laboratory and field experiments show the technical feasibility of MTDMA for future public land mobile telecommunication systems.

  • A Study on Channel Usage in a CellularAd-Hoc United Communication System for Operational Robots

    Tomoko ADACHI  Masao NAKAGAWA  

     
    PAPER-Mobile Communication

      Vol:
    E81-B No:7
      Page(s):
    1500-1507

    A communication system which attains an efficient amalgamation of base station (BS) type cellular communication and non-BS type direct communication for mobile terminals (MTs), "cellularad-hoc united communication system," is proposed. In this system, whether a cellular system or an ad-hoc communication system is chosen by distance and whether the condition is good or not between communicating MTs. In other words, when two terminals are relatively near each other and are in sufficient conditions to communicate directly, they select the ad-hoc communication, while for other cases they use the cellular system. The proposed system was confirmed to have effective channel usage and low battery consumption from the simulation results. It can be also said that this system is suited especially for MTs which tend to communicate with closer partners such as operational mobile robots and autonomous carrier vehicles.

  • SIR-Based Transmit Power Control of Reverse Link for Coherent DS-CDMA Mobile Radio

    Shunsuke SEO  Tomohiro DOHI  Fumiyuki ADACHI  

     
    PAPER-Mobile Communication

      Vol:
    E81-B No:7
      Page(s):
    1508-1516

    This paper proposes a measurement scheme of instantaneous signal-to-average interference plus background noise ratio (SIR) for SIR-based fast transmit power control (TPC) using time-multiplexed pilot symbols on the reverse link of DS-CDMA mobile radio. Both pilot and data are used for signal power measurement, but pilot symbols are used for measurement of average interference plus noise power. By the means of computer simulation, the TPC parameters, i. e. , SIR measurement period and step size, are optimized to maximize the link capacity in a Rayleigh fading environment. The capacity of the power controlled reverse link with channel coding and Rake combining is evaluated to understand the effects of the number of resolvable propagation paths, fading maximum Doppler frequency(or mobile traveling speed), and antenna diversity reception in single-cell and multi-cell environments.

  • An Information Announcement System Based on WWW for Mobile Computers

    Shigeaki TAGASHIRA  Keniti NAGATOMO  Keizo SAISHO  Akira FUKUDA  

     
    PAPER

      Vol:
    E81-A No:7
      Page(s):
    1387-1395

    With the advance of computer technologies, mobile computers can hold many local resources in themselves. In many cases it is impossible to announce local resources on them because almost information announcement systems are not designed for them. In this paper, an information announcement system for mobile computers based on WWW is proposed. The system efficiently announces resources on mobile computers independently of whether they are connected to a network or not, and wherever they are connected. The system can also select suitable announcement methods according to the type of resources. We implement a prototype of proposed system and evaluate it. The result of evaluation confirms effectiveness of the proposed system.

  • Comparative Evaluation between Parallel Combinatory CDMA and Direct Sequence CDMA for High Speed Radio Communication

    Osamu KATO  Masaki HAYASHI  Mitsuru UESUGI  Koichi HOMMA  

     
    PAPER

      Vol:
    E81-A No:7
      Page(s):
    1406-1414

    Comparative performance evaluation between parallel combinatory CDMA (PC-CDMA) and Direct Sequence CDMA (DS-CDMA) has been conducted for high speed radio communication up to 2 Mbps under a multipath Rayleigh fading environment. For both DS-CDMA and PC-CDMA, user information rate per code of 128 kbps, convolutional code with 1/2 coding rate, the same bit interleaving and QPSK data modulation are applied to get transmission symbol rate of 128 ksps. The chip rate of 4. 096 Mcps is used to investigate the possibility of 2 Mbps transmission using only 5 MHz bandwidth. So the spreading factor of the spreading code is 32 for DS-CDMA. In PC-CDMA, 128 ksps data stream is divided into four 32 ksps data streams and according to the every four bits pattern, corresponding spreading code of spreading factor of 128 and its polarity are selected out of eight candidate spreading codes. In soft decision Viterbi decoding applied to PC-CDMA, branch metric is calculated for every bit by weighting the output levels of the PC-CDMA correlators for eight candidate spreading codes. By computer simulation under vehicular environment model with six multipaths, it has been shown that PC-CDMA can offer more capacity approximately by double than DS-CDMA for both downlink and uplink under the condition such as for vehicular for BER of 10-3, and 2 Mbps transmission per cell for downlink is possible not only in isolated cell condition but also in omni cell condition by PC-CDMA.

  • Fast Cell Search Algorithm in Inter-Cell Asynchronous DS-CDMA Mobile Radio

    Kenichi HIGUCHI  Mamoru SAWAHASHI  Fumiyuki ADACHI  

     
    PAPER-Mobile Communication

      Vol:
    E81-B No:7
      Page(s):
    1527-1534

    Inter-cell asynchronous DS-CDMA cellular mobile radio allows continuous system deployment from outdoors to indoors since no outer timing source is required. All the forward link channels(control and traffic channels)of each cell site are first spread by orthogonal short spreading codes and then randomized by a long random code uniquely assigned to each cell site. However, inter-cell asynchronous systems generally require much longer cell search time than inter-cell synchronous systems. This paper proposes a fast cell search algorithm based on the periodic masking of the long random code when transmitting the control channel(CCH)signal. The same short spreading code is used for the CCHs of all cell sites. The same short spreading code periodically appears in the signals transmitted from all cell sites so the mobile station can detect the long random code timing(or more precisely the masking timing)by using a matched filter. By grouping the long random codes used in the system and transmitting a group identification(GI)code from each cell site during the masking period, we can avoid searching all long random codes. This significantly reduces the cell search time. Simulation results demonstrate that cell search can be accomplished in less than 500 ms at 90% of the locations when the number of long random codes(having a repetition period of 10 ms)is 512 and the number of those per group is 32.

  • Miniaturized Front-End HIC Using MBB Technology for Mobile Communication Equipment

    Junji ITOH  Tadayoshi NAKATSUKA  Takayuki YOSHIDA  Mitsuru NISHITSUJI  Tomoya UDA  Osamu ISHIKAWA  

     
    PAPER-Functional Modules and the Design Technology

      Vol:
    E81-C No:6
      Page(s):
    834-840

    Highly miniaturization technology in front-end GaAs Hybrid IC for mobile communication equipment will be presented. A combination of MBB (micro bump bonding) technology and the new GaAs IC fabrication process using high dielectric constant (εr) thin film technology has achieved a super small HIC with low cost and low power consumption. The new HIC was constructed of only a ceramic substrate in which the spiral inductors were formed on it and the GaAs IC chip that was bonded by using MBB technology. The MBB technology lead the HIC to a lower temperature process without soldering, a smaller bump diameter, at shorter intervals and the lowest parasitic in the bump. The advantage of the small bonding pad of the IC contributes to miniaturize the IC chip and reduces the chip cost. The GaAs IC process technology using high-εr thin film achieves the integration of all capacitors in the IC without increasing the chip size. Furthermore, low power consumption was achieved by 0. 5-µm LDD BP-MESFET with a high k-value. Although capacitors were integrated on the IC, all of the inductors were formed on the top of the ceramic substrate using a thin film metal process. This was used due to its large occupation area when it was integrated on the IC, and produced a low Q-factor. As a results, the chip was minimized to a size of 0. 81. 0 mm2 and achieved a low-cost chip. Two types of HICs were fabricated for 880 MHz cellular band and 1. 9 GHz PHS (Personal Handy phone System) band. The HIC at 880 MHz measures only 5. 05. 01. 0 mm3, and offered a conversion gain of 25 dB, a noise figure of 4. 2 dB and an image rejection ratio of 12 dB at 2. 7 V and at a power supply of 3. 5 mA. The HIC for 1. 9 GHz measures only 3. 54. 01. 0 mm3, and showed a conversion gain of 16. 0 dB, a II P3 of -16. 0 dBm, and an image rejection ratio of over 20 dBc at 3. 0 V and at power supply of 4. 5 mA.

  • Further Results on Field Experiments of Coherent Wideband DS-CDMA Mobile Radio

    Tomohiro DOHI  Yukihiko OKUMURA  Fumiyuki ADACHI  

     
    PAPER-Mobile Communication

      Vol:
    E81-B No:6
      Page(s):
    1239-1247

    Field experiments using the 2 GHz carrier frequency band were conducted nearby Tokyo to evaluate the effect of joint use of Rake combining and antenna diversity and also the effect of spreading chip rate (or bandwidth) on the achievable bit error rate (BER) performance and the mobile station transmit power distribution of power controlled coherent DS-CDMA reverse-link (mobile-to-base). Four chip rates, 0. 96, 1. 92, 3. 84, and 7. 68 Mcps, were used. The command interval and power step size of the fast transmission power control (TPC) used in the experiments, 1. 25 ms and 1 dB, respectively, were based on measurements of signal-to-interference plus background noise power ratio (SIR) after Rake combining. The field experiments demonstrate that the joint use of antenna diversity and Rake combining significantly improves the BER performance and, furthermore, that increasing the chip rate improves the BER performance and decreases the transmit power because of enhanced Rake combining through an increase in the number of resolved paths.

  • A High-Efficiency Linear Power Amplifier with a Novel Output Power Control Technique

    Yo YAMAGUCHI  Masahiro MURAGUCHI  Tadao NAKAGAWA  Masashi NAKATSUGAWA  

     
    PAPER-Semiconductor Devices and Amplifiers

      Vol:
    E81-C No:6
      Page(s):
    892-897

    A power amplifier employing a novel linearizing technique is proposed and is applied to digital mobile communication systems. The amplifier offers both high efficiency and excellent adjacent-channel power leakage (ACP) characteristics. The power added efficiency (PAE) of the proposed amplifier is 51% with an ACP of 45 dBc, which is the PDC standard (one of the Japanese mobile communication systems standards). This amplifier can be applied to various systems merely by changing the ROM data.

  • Active Sensor Fusion for Collision Avoidance in Behaviour-Based Mobile Robots

    Terence Chek Hion HENG  Yoshinori KUNO  Yoshiaki SHIRAI  

     
    PAPER-Image Processing,Computer Graphics and Pattern Recognition

      Vol:
    E81-D No:5
      Page(s):
    448-456

    Presently, mobile robots are navigated by means of a number of methods, using navigating systems such as the sonar-sensing system or the visual-sensing system. These systems each have their strengths and weaknesses. For example, although the visual system enables a rich input of data from the surrounding environment, allowing an accurate perception of the area, processing of the images invariably takes time. The sonar system, on the other hand, though quicker in response, is limited in terms of quality, accuracy and range of data. Therefore, any navigation methods that involves only any one system as the primary source for navigation, will result in the incompetency of the robot to navigate efficiently in a foreign, slightly-more-complicated-than-usual surrounding. Of course, this is not acceptable if robots are to work harmoniously with humans in a normal office/laboratory environment. Thus, to fully utilise the strengths of both the sonar and visual sensing systems, this paper proposes a fusion of navigating methods involving both the sonar and visual systems as primary sources to produce a fast, efficient and reliable obstacle-avoiding and navigating system. Furthermore, to further enhance a better perception of the surroundings and to improve the navigation capabilities of the mobile robot, active sensing modules are also included. The result is an active sensor fusion system for the collision avoiding behaviour of mobile robots. This behaviour can then be incorporated into other purposive behaviours (eg. Goal Seeking, Path Finding, etc. ). The validity of this system is also shown in real robot experiments.

  • Active Mobile Database Systems for Mobile Computing Environments

    Toru MURASE  Masahiko TSUKAMOTO  Shojiro NISHIO  

     
    PAPER-Databases

      Vol:
    E81-D No:5
      Page(s):
    427-433

    In recent years, the rapid advancements of wireless communication technology and computer down-sizing technology have enabled users to utilize computing resources anywhere in the computer network. New applications constructed on the mobile database system are becoming popular. However, the current database systems do not provide special facilities for specific update operations in a mobile computing environment. Moreover, due to the lack of a common data handling method and a mutual communication mechanism, varieties in implementations may cause applications to be incompatible with each other. In this paper, we take up the issue of data handling, in a mobile computing environment, and propose an active mobile database system (AMDS) to solve this issue. First, we review the difficulties of dynamic update of databases in a mobile computing environment, and provide a basic concept of AMDS as a solution for these difficulties. In order to construct an AMDS, we focus on asynchronous events such as the appearance and disappearance of a mobile computer in a wireless communication cell. Then we provide a facility to specify the behavior of each system in Event-Condition-Action(ECA) rules in the same way as normal active database systems. Moreover, we show the architecture and the design of our implementation of AMDS. And, finally AMDS can be easily implemented as a common database infrastructure and work well on heterogeneous systems through indoor experiments.

  • Interference Rejection Weight Control for Pilot Symbol-Assisted Coherent Multistage Interference Canceller Using Recursive Channel Estimation in DS-CDMA Mobile Radio

    Mamoru SAWAHASHI  Hidehiro ANDOH  Kenichi HIGUCHI  

     
    PAPER-Spread Spectrum Technologies and Applications

      Vol:
    E81-A No:5
      Page(s):
    957-972

    To further increase the capacity of the DS-CDMA reverse-link, this paper investigates the effectiveness of interference rejection weight control (IRWC) for the pilot symbol-assisted coherent multistage interference canceller (PSA-COMSIC) using recursive channel estimation (RCE). First, a bit error rate (BER) expression of the serial (successive) and parallel type hard decision multistage interference canceller (MSIC) with IRWC using Gaussian approximation for multiple access interference (MAI) are presented for no fading channels. It is theoretically shown that IRWC is effective in mitigating the interference replica generation error in hard decision MSIC. Next, the BER performance of PSA-COMSIC using IRWC in a multipath Rayleigh fading channel when channel coding is applied is evaluated by computer simulations. The BER performance and capacity are evaluated not only for the conventional serial and parallel types but also for serial/parallel (S/P) hybrid type and non-linear/linear (N/L) hybrid type schemes, both of which are effective in significantly reducing the demodulation processing delay. The simulation results demonstrate that, in interference-limited channels where the back ground noise is negligible, the capacity of serial type PSA-COMSIC using IRWC is about 10% higher than that without IRWC. It is also found that if we can accept a slight capacity degradation compared to the serial type PSA-COMSIC, S/P hybrid schemes are effective in reducing the demodulation processing delay.

  • Performance of Multicarrier/QAM-Level-Controlled Adaptive Modulation for Land Mobile Communication Systems

    Kiyoshi HAMAGUCHI  Eimatsu MORIYAMA  

     
    PAPER-Mobile Communication

      Vol:
    E81-B No:4
      Page(s):
    770-776

    A system combining multicarrier modulation and adaptive modulation in which a suitable level of quadrature amplitude modulation (QAM) is selected for each subcarrier and time-slot, is proposed for high-bit-rate and high-quality digital land mobile communications. The advantages of the system are a mode in which information cannot be transmitted under adverse propagation conditions and a buffer memory to limit a transmission delay time. If the allowable delay time is small, such as in voice and video transmissions, the system tends to have a poor bit error rate (BER) because of the forcible QAM-level selection. Our new selection scheme improves the BER for small transmission delay time. Suitable distribution of the delay time among subcarriers is obtained by using the scheme where the QAM-level of each subcarrier is chosen collectively using the number of data bits stored in memory. Computer simulation of the systems BER performance showed that the system could provide a noticeable BER improvement over frequency-selective fading channels as well as flat Rayleigh fading channels. The QAM-level selection scheme was also effective for a low maximum Doppler frequency and a small memory size. The system could thus attain about 25-fold improvement in BER at Es/N030 dB compared to the multicarrier/16QAM system. It also attained about 60-fold and 3. 5-fold improvement in BER at fd=10Hz compared with the system with multicarrier/16QAM and without the QAM-level selection scheme, respectively.

  • Orthogonal Forward Link Using Orthogonal Multi-Spreading Factor Codes for Coherent DS-CDMA Mobile Radio

    Koichi OKAWA  Fumiyuki ADACHI  

     
    PAPER-Mobile Communication

      Vol:
    E81-B No:4
      Page(s):
    777-784

    This paper presents a generation method of orthogonal spreading codes with different spreading factors (SFs), which are called orthogonal multi-SF spreading codes in this paper, for DS-CDMA mobile radio. The generated orthogonal multi-SF spreading codes have a tree structure and the codes are applied to the forward link such that all users, who transmit data at different rates, are orthogonalized. A group spreading modulator that simplifies the base station transmitter structure is also described. The transmission performance of the orthogonal multi-SF forward link under multi-user and frequency selective Rayleigh fading environments is evaluated by computer simulation to show that its performance is identical to that achieved by using multiple orthogonal spreading codes in parallel (orthogonal multicode forward link). Unlike the orthogonal multicode forward link, only a single Rake combiner is required at a mobile receiver which significantly simplifies the mobile receiver structure.

  • Theoretical Analysis of BER Performance Bounds of Trellis-Coded Co-channel Interference Canceller

    Yuan LI  Hidekazu MURATA  Susumu YOSHIDA  

     
    PAPER-Mobile Communication

      Vol:
    E81-B No:4
      Page(s):
    754-761

    Co-channel interference is a major deteriorating factor limiting the capacity of mobile communication systems. To mitigate the effect of the interference, a kind of nonlinear interference canceller named trellis-coded co-channel interference canceller (TCC) has been proposed. In TCC the trellis-coded modulation (TCM) is introduced to both the desired signal and the interference signal in order to enhance the cancelling performance. In this paper, the bit error rate (BER) performance of TCC in static channel is theoretically evaluated for the first time. An equivalent TCM (E-TCM) model is firstly established, and a BER asymptotic estimate (AE) and a BER upper bound (UB) of TCC are then evaluated respectively by analyzing E-TCM. In the evaluation of AE, the BER performance is calculated as a function of phase difference between the desired signal and the interference signal (φ), subsequently the average BER performance over φ can be evaluated. The UB of BER is calculated using a transfer function based on the matrix representation. This paper also demonstrates that AE gives higher accuracy and less calculation complexity than UB. Performance comparisons reveal the consistency of these theoretical results with that of computer simulations.

  • A Concurrent Calculus with Geographical Constraints

    Toshihiko ANDO  Kaoru TAKAHASHI  Yasushi KATO  Norio SHIRATORI  

     
    PAPER

      Vol:
    E81-A No:4
      Page(s):
    547-555

    Process algebras with name passing have been proposed for concurrent mobile processes. They can be suitable to describe dynamical changes of connections among processes. To describe mobile communication or mobile computing systems, however, it is necessary to consider locations at which processes run. We propose a description method to design mobile communication systems using a concurrent calculus in this paper. The concept of a field is introduced to model locality of communication. An extension of π-calculus with a field is proposed. The extension does not include locality represented by a field while most related works treat locality within their languages. A field is given when behavior of a target system is verified in a particular environment. The aim of the extension is to verify and to test connectivity between processes under various geographical constraints. This method could be design-oriented in this context. Equivalence relations with/without location in this calculus are also discussed.

821-840hit(969hit)