Author index to volume 25

Computer Networks and ISDN Systems 25 (1993) 1351-1354 North-Holland

1351

Author Index to Volume 25 (The issue number is given in front of the pagination)

(10) 1041-1053 Akiyama, M., s e e Mizusawa, J.-i. Algayres, B., V. Coelho, L. Doldi, H. Garavel, Y. Lcjeune and C. Rodriguez, VESAR: a pragmatic approach to formal specifica(7) 779- 790 tion and verification AIvestrand, H.T., Electronic mail routing in (4-5) 535- 539 a heterogeneous world Amer, P.D. and D. New, Protocol visualiza(7) 741- 760 tion in Estelle Ashby, P., FTAM interoperability: meeting (4-5) 531- 534 the needs of the research community Auge, E. and P. Brun, Distributed management of an MHS environment (4-5) 577- 582 (7) 815- 839 Azcorra, A., s e e Mafias, J.A. Biir, U., s e e Schneider, J.M. (1) 43- 61 Barber, D., s e e Kalin, T. (3) 227- 239 Baumgarten, T., s e e Holleczek, P. (4-5) 351- 356 Bern, D.J., NASK--Researeh and academic computer network in Poland (4-5) 431- 437 Benford, S. and J. Palme, A standard for OSI group communication (8) 933- 946 Berners-Lee, T.J., R. Cailliau and J.-F. Groff, The world-wide web (4-5) 454- 459 Berrino, C. and D. Manueilo~ Y-NET--The Esprit pan-European community OSI network (4-5) 554- 560 Biersack, E.W. and D.C.. Feldmeier, A timer-based connection management protocol with synchronized clocks and its verification (12) 1303-1319 Binding, C., s e e Karjoth, G. (7) 853- 874 Bisdikian, C., A queueing model with applications to bridges and the DQDB (IEEE 802.6) MAN (12) 1279-1289 Bishop, A.P., Electronic networking for engineers: research from a user perspective (4-5) 344- 350 Blair, G.S., s e e Coulson, G. (3) 305- 323 Blair, G.S., s e e Macartney, A.J. (2) 145- 157 Bolla, R. and F. Davoli, Dynamic hierarchical control of resource allocation in an integrated services broadband network (10) 1079-1087 Bovio, D., The regionalization of EARN (4-5) 546- 553 Brun, P., s e e Auge, E. (4-5) 577- 582 Bruneel, H., Packet delay and queue length for statistical multiplexers with low-speed access lines (12) 1267-1277 Bruneel, H., s e e Steyaert, B. (11) 1227-1241 (10) 1165-1173 Brusiiovsky, S., s e e Sokolov, N. Budkowski, S., Estelle development toolset (EDT) (1) 63- 82 Elsevier Science Publishers B.V.

-

Cailliau, R., s e e Berners-Lee, T.J. (4-5) Chang, C.-J. and S.-Y. Wang, Performance analysis of a statistical multiplexer for integrated service in the customer-premise equipment (2) Chanson, S.T., A.A.F. Loureiro and S.T. Vuong, On tools supporting the use of formal description techniques in protocol development (7) Chlamtac, I. and M.G. Kienzle, Multitasking in high-speed interconnection systems (6) Clark, D.D., B.S. Davie, D.J. Farber, I.S. Gopal, B.K. Kadaba, W.D. Sincoskie, J.M. Smith and D.L. Tennenhouse, The A U R O R A gigabit testbed (6) Coeiho, V., s e e Algayres, B. (7) Coulson, G., G.S. Blair, N. Davies and N. Williams, Extensions to ANSA for multimedia computing (3) Courtiat, J.-P. and P. de Saqui-Sannes, ESTIM: an integrated environment for the simulation and verification of OSI protocols specified in Estelle (1) Cullen, J., B. Day and M. Planes, The use of FTAM to access graphical pictures across wide area networks (4-5)

454- 459

191- 201

723- 739 701- 716

599- 621 779- 790

305- 323

83-

98

377- 383

Danthine, A., Esprit Project OSI 95. New transport services for high-speed networking (4-5) 384- 399 Davie, B.S., s e e Clark, D.D. (6) 599- 621 Davies, D., Is there life after COSINE? (4-5) 518- 520 Davies, N., s e e Coulson, G. (3) 305- 323 Davoli, F., s e e Bolla, R. (10) 1079-1087 Day, B., s e e Cullen, J. (4-5) 377- 383 de Miguel, T., s e e Mafias, J.A. (7) 815- 839 Deng, R.H., s e e Du, J. (12) 1321-1333 De Nicola, R., A. Fantechi, S. Gnesi and G. Ristori, An action-based framework for verifying logical and behavioural properties of concurrent systems (7) 761- 778 De Prycker, M., ATM technology: a backbone for high speed computer networking (4-5) 357- 362 de Saqui-Sannes, P., s e e Courtiat, J.-P. (1) 83- 98 Desmet, E., s e e Steyaert, B. (11) 1227-1241 Dobosiewicz, W., P. Gburzyhski and P. Rudnicki, On two collision protocols for high speed bus LANs (11) 1205-1225 Doeiz, R., The EMBnet Project--European molecular biology network (4-5) 464- 468

1352 Doldi, L., s e e AIgayres, B. (7) 779- 790 Du, J., R.H. Deng and C.C. Ko, Performance analysis of interconnected LANs with server/client configuration (12) 1321-1333 Dziong, Z., K.-Q. Liao and L. Mason, Effective bandwidth allocation and buffer dimensioning in ATM based networks with priorities (10) 1065-1078 Ekhriel, I.,

see

Sokolov, N.

Fantechi, A., s e e D e Nicola, R. Farber, D.J., s e e Clark, D.D. Feldmeier, D.C., s e e Biersack, E.W. Fernfindez, A., s e e Miguel, C.

(10) 1165-1173 (7) (6) (12) (7)

761- 778 599- 621 1303-1319 791- 814

Fliickiger, F., Euro-networking and industrial policies: lessons from the past (4-5) 501- 511 Foudriat, E.C., s e e Maly, K.J. (2) 203- 223 Frieder, O. and R.L. Shuey, Communication needs in a data engineering world (3) 259- 273

Game, D., s e e Maly, K.J. Garavel, H., s e e Algayres, B.

(2) 203- 223 (7) 779- 790 (11)1205-1225

Gburzyfiski, P., s e e Dobosiewicz, W. Geurts, P. and G. Theis, A formal approach to the description of communications services: the case of the Space Data Network (SDN) (4-5) Gnesi, S., s e e De Nicola, R. (7) Gopal, I.S., s e e Clark, D.D. (6) Gotzhein, R., Formal definition and representation of interaction points (1) Gouda, M.G., Protocol verification made simple: a tutorial (9) Greaves, D.J. and K. Zielifiski, The Cambridge Backbone Network. An overview and preliminary performance (10) Greisen, F., The operational unit for research and academic networking in Europe (4-5) Gruff, J.-F., s e e Berners-Lee, T.J. (4-5) Gruntorad, J., Research and academic networking in the Czech and Slovak Federal Republic (4-5) Gustafsson, J., s e e Karjoth, G. (7)

Hayes, J.F., s e e Luan, Z. Heinanen, J., Frame relay as a multiprotocol backbone interface

583- 591 761- 778 599- 621 3-

22

969- 980

1127-1133

521- 525 454- 459

438- 443 853- 874

(2) 183- 190 (4-5) 363- 369

Henderson, W., Finding and using exact equilibrium distributions for stochastic Petri nets (10) Holleczek, P. and T. Baumgarten, Throughput measurements in a 2 Mbps X.25 network (4-5) Holzmann, G.J., Design and validation of protocols: a tutorial (9) Husemann, D., ISO CONS in LANs--making it all work. A European contribution to 4.4 BSD Unix (4-5)

Jhunjhunwala, A.,

see

Krishna Thilakam, R.

Kadaba, B.K.,

s e e Clark, D.D. (6) 599- 621 Kalin, T. and D. Barber, Has the OSI opportunity been fully realised? (3) 227- 239 Kameda, H., s e e Li, J. (12) 1335-1348 Kaniyil, J., Y. Onozato and S. Noguchi, On the behavioral aspects of alternate routing in non-hierarchical networks (3) 275- 294 K a o , S . - I C , s e e Mukherjee, B. (2) 103- 120 Karjoth, G., C. Binding and J. Gustafsson, LOEWE: A LOTOS engineering workbench (7) 853- 874 Kelleher, L.A., Navigating the Internet--a merit network cruise (4-5) 460- 463 Kienzle, M.G., s e e Chlamtac, I. (6) 701- 716 Kim, Y.H., B.C. Shin and C.K. Un, Performance analysis of leaky-bucket bandwidth enforcement strategy for bursty traffics in an ATM network (3) 295- 303 Kirstein, P.T. and P. Williams, Piloting authentication and security services within OSI applications for RTD information (PASSWORD) (4-5) 483- 489 Ko, C.C., s e e Du, J. (12) 1321-1333 Ko, K.-T., P.P. Mishra and S.K. Tripathi, Interaction among virtual circuits using predictive congestion control (6) 681- 699

Krishna Thilakam, R. and A. Jhunjhunwala, The design and flow control of a high speed, integrated, packet switched network (3) 241- 257 Kunfl, W., Developments in academic networking in Austria (4-5) 561- 565 Le Bon, A., s e e Rosenberg, C. (10) 1155-1163 Leduc, G., A framework based on implementation relations for implementing LOTOS specifications (1) 23- 41 Lejeune, Y., s e e AIgayres, B. (7) 779- 790 Li, J. and H. Kameda, Optimal load balancing in tree networks with two-way traffic (12) 1335-1348 Liao, K.-Q., s e e Dziong, Z. (10) 1065-1078 Lipp, P. and R. Posch, An inter-bridgesecurity protocol (4-5) 496- 500 Lin, S.S., Impacts of signaling-intensive local services (SILS) on B-ISDN switching systems: a simulation study (2) 121- 143

Lombardo, A., S. Palazzo, D. Panno, R. Pignatelli and L. Susanna, An adaptive policing mechanism for a DQDB MAN

1143-1153

(3) 241- 257

Loureiro, A.A.F., s e e Chanson, S.T. Luan, Z., J.F. Hayes and M.K. Mehmet Ali,

351- 356

Frame synchronization performance of SONET signals

981-1017

Macartney, A.J. and G.S. Blair, Flexible

411- 419

Mackert, L.F., s e e Schneider, J.M. Maly, K.J., E.C. Foudriat, R. Mukkamala,

trading in distributed multimedia systems

(10) 1119-1126 (7) 723- 739

(2) 183- 190

(2) 145- 157 (1) 43- 61

1353 C.M. Overstreet and D. Game, Dynamic allocation of bandwidth in multichannel metropolitan area networks (2) 203- 223 Mafias, J.A., T. de Miguel, J. Salvachda and A. Azcorra, Tool support to implement LOTOS formal specifications (7) 815- 839 Mannie, E. and B. Sales, 3L, a software laboratory for the OSI lower layers (4-5) 420- 425 Manuello, D., see Berrino, C. (4-5) 554- 560 Martinez, D., Frame relay and SMDS services on a common ATM-based platform (4-5) 370- 376 Mason, L., s e e Dziong, Z. (10) 1065-1078 Maxemchuk, N.F., Dispersity routing in high-speed networks (6) 645- 661 Mehmet All, M.K., s e e Luan, Z. (2) 183- 190 Miguel, C., A. Fermlndez, J.M. Ortufio and L. Vidaller, A LOTOS based performance evaluation tool (7) 791- 814 Mishra, P.P., s e e Ko, K.-T. (6) 681- 699 Mitra, D. and J.B. Seery, Dynamic adaptive windows for high speed data networks with multiple paths and propagation delays (6) 663- 679 Mizusawa, J.-i. and M. Akiyama, Experiences and expectations of introducing PSTN new services (10) 1041-1053 Morrow, T., BIDS ISI: a new national bibliographic data service for the UK academic community (4-5) 448- 453 Muflic, S., Implementation of the Comprehensive Integrated Security System for computer networks (4-5) 469- 475 Mukherjee, B. and S.-K. Kao, An improved voice-data integration protocol for fiber optic bus networks (2) 103- 120 Mukkamala, R., s e e Maly, K~J. (2) 203- 223 Najmabadi Kia, R. and B. Sales, Routing architectures for the support of the OSI connection mode network service (4-5) Nakajima, A., Construction of optimal communication structures for weighted distributed match-making (12) Nakatsuka, S., s e e Yokotani, T. (10) Nam, S.H. and C.K. Un, Performance analysis of broadcast star network with collision-avoidance switch (2) Neggers, K., Next steps for European networking (4-5) New, D., s e e Amer, P.D. (7) Noguchi, S., s e e Kaniyii, J. (3)

Onozato, Y.,

s e e Kaniyil, J. Ortu6o, J.M., s e e Miguel, C. Overstreet, C.M., s e e Maly, K.J.

405- 410

1291-1301 1107-1117

169- 182 592- 593 741- 760 275- 294

(3) 275- 294 (7) 791- 814 (2) 203- 223

Palazzo, S., s e e Lombardo, A. (10) 1119-1126 Paime, J., s e e Benford, S. (8) 933- 946 Panno, D., s e e Lombardo, A. (10) 1119-1126 Partridge, C., Protocols fi)r high-speed networks: some questions and a few answers (9) 1019-1028

Petit, G.H.,

see

Pignatelli, R.,

(11) 1227-1241 (10) 1119-1126

Steyaert, B.

Lombardo, A. Pinse, D. and P. Sylvester, An electronic mail gateway between E A R N / I N T E R NET and the IBM internal network Planes, M., s e e Cullen, J. Popescu, A. and R.P. Singh, An alternative solution to the electro-optic and service bottleneck problems in integrated multiGbit/s LANs: the SUPERLAN architecture Posch, R., s e e Lipp, P. Purser, M., COSINE Sub-Project P8: security services see

(4-5) 526- 530 (4-5) 377- 383

(10) 1089-1105 (4-5) 496- 500 (4-5) 476- 482

Quemada, J., On tools for FDTs

(7) 719- 721

Rangan, P.V., Video conferencing, file storage, and management in multimedia computer systems (8) 901- 919 Reijs, V., R A R E / C O S I N E connectionless mode network service pilot (4-5) 426- 430 Rerle, R., s e e Sokolov, N. (10) 1165-1173 Richards, P.S., Rapid service delivery and customization in a developing network infrastructure (2) 103- 1201 Ristori, G., s e e De Nicola, R. (7) 761- 778 Roberts, J.W., Traffic control in the B-ISDN (10) 1055-1064 Roberts, M.M., The university role in the United States National Research and Education Network (4-5) 512- 517 Rodeheffer, T.L., Experience with Autonet (6) 623- 644 Rodriguez, C., s e e Algayres, B. (7) 779- 790 Rosenberg, C. and A. Le Bon, Performance models for hybrid broadband networks (10) 1155-1163 Rudnicki, P., s e e Dobosiewicz, W. (11) 1205-1225 Rysavy, F.R., Users and services providers: interoperability (4-5) 339- 343

Sales, B., s e e Mannie, E. (4-5) Sales, B., s e e Najmabadi Kia, R. (4-5) Salvachfia, J., s e e Mafias, J.A. (7) Sato, H., s e e Yokotani, T. (10) Schneider, J.M., L.F. Mackert, G. Z6rntlein, R.J. Veithuys and U. BJlr, An integrated environment for developing communication protocols Seery, J.B., s e e Mitra, D.

Shin, B.C., s e e Kim, Y.H. Shuey, R.L., s e e Frieder, O.

420- 425 405- 410 815- 839 1107-1117

(1) 43- 61 (6) 663- 679 (3) 295- 303 (3) 259- 273

Sijelmassi, R. and B. Strausser, The PET and DINGO tools for deriving distributed implementations from Estelle (7) 841- 851 Simoni, N. and S. Znaty, Interconnection of high-speed data networks: contribution of dynamic control and quality of service (4-5) 570- 576 Sincoskie, W.D., s e e Clark, D.D. (6) 599- 621 Singh, R.P., s e e Popescn, A. (10) 1089-1105 Smith, J.M., s e e Clark, D.D. (6) 599- 621

Sokolov, N., I. Ekhriel, R. Rerle and S.

1354 Brusilovsky, On some teletraffic models simplification (10) Stals, B., Users and networks--survival of the fittest? (4-5) Stassinopoulos, G.I., s e e Varvitsiotis, A.P. (11) Sterba, M., ISDN in European research networking (4-5) Steyaert, B., H. Bruneel, G.H. Petit and E. Desmet, End-to-end delays in multistage ATM switching networks: approximate analytic derivation of tail probabilities (11) Strausser, B., s e e Sijelmassi, R. (7) Susanna, L., s e e Lombardu, A. (10) Sylvester, P., s e e Pinse, D. (4-5) Tennenhouse, D.L., s e e Clark, D.D. (6) Thachenkary, C.S., Integrated Services Digital Networks (ISDN): six case study assessments of a commercial implementation (8) Theis, G., s e e Geurts, P. (4-5) Tobagi, F.A., s e e Wang, W. (6) Tripathi, S.K., s e e Ko, K.-T. (6) Turchanyi, G., Networking in Hungary (4-5) Tusch, J., Performance measurement in token ring networks (2)

1165-1173 335- 338 1243-1263 400- 404

1227-1241 841- 851 1119-1126 526- 530 599- 621

921583631681444-

932 591 644 699 447

159- 168

Ullmann, K., Data networks for the European research and education sector-analysis and perspectives (4-5) 329- 334 Un, C.K., s e e Kim, Y.H. (3) 295- 303 Un, C.K., s e e Nam, S.H. (2) 169- 182

Van Binst, P., Guest editorial (4-5) van Dijk, N.M., On the arrival theorem for communication networks (10) Varvitsiotis, A.P. and G.I. Stassinoponios, Extending ASN.1 into a full-fledged constraint language in the context of OSI protocol conformance testing (11) Velthuys, R.J., s e e Schneider, J.M. (1) Veltink, G., The PSF toolkit (7) Vidaller, L., s e e Miguei, C. (7) Vuong, S.T., s e e Chanson, S.T. (7) Wallace, B., OSI migration (4-5) Wang, S.-Y., s e e Chang, C.-J. (2) Wang, W. and F.A. Tobagi, The Christmastree switch: an output queuing space-division fast packet switch based on interleaving distribution and concentration functions (6) Wijgerde, J., The COSINE quality of service project (4-5) Williams, N., s e e Coulson, G. (3) Williams, P., s e e Kirstein, P.T. (4-5) Wn, S., MHS security--a concise survey (4-5)

327- 328 1135-1142

1243-1263 43- 61 875- 898 791- 814 723- 739 540- 545 191- 201

631- 644 566305483490-

569 323 489 495

Yokotani, T., H. Sato and S. Nakatsuka, A study on a performance improvement algorithm in DQDB MAN (10) 1107-1117 Zielifiski, K., s e e Greaves, D.J. Znaty, S., s e e Simoni, N. Ziirntlein, G., s e e Schneider, J.M.

(10) 1127-1133 (4-5) 570- 576 (1) 43- 61