ISO/IEC DTR 10167, Guidelines for the Application of Estelle, LOTOS and SDL, January 90. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Tick-Tock Case Study for the Assessment of Timed FDTs - Léonard, Leduc, Danthine (1994) (Correct)
....creation of many timed FDTs, most of which being either new timed process algebra or quantitative time extensions of well known asynchronous process algebra. For example: ACP r [BaB 90] ACP t te [Gro 90] ATP (Algebra of Timed Processes) NRS 90, NiS 91, NSY 91] 1 , CIRCAL [Mil 85] Estelle [ISO 9074] LOTOS T [MFV 92] Meije [AuB 84] PADS (Process Algebra for Distributed Systems) Azc 90] SCCS [Mil 83] SDL [CCITT Z100] TCCS [MoT 90] TIC [QAF 90] TiCCS (Timed CCS) Wan 90, Wan 91] TiCSP (Timed CSP) ReR 88, Ree 90] Timed arc PN [Wal 83] Timed PN [MeF 76] TinLOTOS (TimedInteraction ....
....been (over)simplified; it offers a wider scope of possible aspects of time modelling. We thus think, and hope, that it could be of interest to anyone who would like to test a temporal FDT in a more concrete situation, as did the Abracadabra service and protocol and the Daemon Game examples [ISO 10167] for the classical FDTs. ....
ISO/IEC DTR 10167, Guidelines for the Application of Estelle, LOTOS and SDL, January 90.
Authentication in Analogue Telephone Access Networks - Jøsang, Johannessen (Correct)
....the AD are already being produced today. Taking into consideration that the AD itself will be manufactured in large numbers, it should be possible to reach an acceptably low production cost. The state diagram of the AD is shown in Figure 8 on the right, where the description language used is SDL [5]. The AD is considered as a black box so that only its external behaviour is observed. At off hook, the telephone set changes from high to low impedance. This is detected by the AD which also changes from high to low impedance. When the telephone exchange detects the low impedance from the AD, ....
ISO/IEC. IS 10167. Guidelines for the application of Estelle, LOTOS and SDL. ISO/IEC, 1991.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC