Pollard, David Bracketing methods in statistics and econometrics. (English) Zbl 0754.62012 Nonparametric and semiparametric methods in econometrics and statistics, Proc. 5th Int. Symp., Econ. Theory Econ., Durham/NC (USA) 1988, 337-355 (1991). MSC: 62F12 60F15 62P20 PDFBibTeX XMLCite \textit{D. Pollard}, in: Nonparametric and semiparametric methods in econometrics and statistics. Proceedings of the fifth international symposium in economic theory and econometrics, held at the Duke University, Durham, NC (USA), on May 18- 20, 1988. Cambridge etc.: Cambridge University Press. 337--355 (1991; Zbl 0754.62012)
Downey, Peter J. Bounding synchronization overhead for parallel iteration. (English) Zbl 0800.68438 ORSA J. Comput. 3, No. 4, 288-298 (1991). MSC: 68Q10 68W15 68M20 PDFBibTeX XMLCite \textit{P. J. Downey}, ORSA J. Comput. 3, No. 4, 288--298 (1991; Zbl 0800.68438) Full Text: DOI
Vaillant, J. Negative binomial distributions of individuals and spatio-temporal Cox processes. (English) Zbl 0798.62103 Scand. J. Stat. 18, No. 3, 235-248 (1991). MSC: 62P10 62M30 PDFBibTeX XMLCite \textit{J. Vaillant}, Scand. J. Stat. 18, No. 3, 235--248 (1991; Zbl 0798.62103)
Banaszak, Zbigniew; Krogh, Bruce H. Real-time synchronization mechanism for complex concurrently competing processes coordination. (English) Zbl 0792.68021 Appl. Math. Comput. Sci. 1, No. 1, 43-66 (1991). MSC: 68N25 68Q85 68Q10 PDFBibTeX XMLCite \textit{Z. Banaszak} and \textit{B. H. Krogh}, Appl. Math. Comput. Sci. 1, No. 1, 43--66 (1991; Zbl 0792.68021)
Korbicz, Józef; Zgurowski, Michaił Zacharewicz Estimation and stochastic control of distributed parameter systems. (Estymacja i sterowanie stochastyczne układami o parametrach rozłożonych.) (Polish) Zbl 0748.93049 Warsaw: Wydawnictwo Naukowe PWN. 511 p. (1991). Reviewer: T.Stettner MSC: 93C20 93-02 PDFBibTeX XMLCite \textit{J. Korbicz} and \textit{M. Z. Zgurowski}, Estymacja i sterowanie stochastyczne układami o parametrach rozłożonych (Polish). Warsaw: Wydawnictwo Naukowe PWN (1991; Zbl 0748.93049)
Grandell, Jan Aspects of risk theory. (English) Zbl 0717.62100 Springer Series in Statistics. Probability and its Applications. New York etc.: Springer-Verlag. x, 175 p. DM 78.00 (1991). Reviewer: V.Schmidt MSC: 62P05 62-02 91B30 90-02 60G55 60K20 60K10 PDFBibTeX XMLCite \textit{J. Grandell}, Aspects of risk theory. New York etc.: Springer-Verlag (1991; Zbl 0717.62100)
Burns, Alan; Wellings, Andy Real-time systems and their programming languages. (English) Zbl 0768.68009 Amsterdam etc.: Addison-Wesley Publishing Co. XV, 575 p. (1991). Reviewer: H.Stahn (Dresden) MSC: 68N25 68N15 68-01 68N99 PDFBibTeX XMLCite \textit{A. Burns} and \textit{A. Wellings}, Real-time systems and their programming languages. Amsterdam etc.: Addison-Wesley Publishing Co. (1991; Zbl 0768.68009)
Lewis, Peter A. W.; McKenzie, Ed Minification processes and their transformations. (English) Zbl 0729.60028 J. Appl. Probab. 28, No. 1, 45-57 (1991). Reviewer: M.P.Moklyachuk (Kiev) MSC: 60G12 60J05 62M20 60G25 60J20 PDFBibTeX XMLCite \textit{P. A. W. Lewis} and \textit{E. McKenzie}, J. Appl. Probab. 28, No. 1, 45--57 (1991; Zbl 0729.60028) Full Text: DOI
San Miguel, M. Boundedness and saturation in stochastic Petri nets. (Spanish. English summary) Zbl 0725.60101 Math. Contrib. Mem. V. M. Onieva Aleixandre, 275-282 (1991). MSC: 60K20 60G42 68Q85 PDFBibTeX XML
Romeo, Fabio; Sangiovanni-Vincentelli, Alberto A theoretical framework for simulated annealing. (English) Zbl 0717.90061 Algorithmica 6, No. 3, 302-345 (1991). MSC: 90C27 90-02 60J10 68W15 90-08 PDFBibTeX XMLCite \textit{F. Romeo} and \textit{A. Sangiovanni-Vincentelli}, Algorithmica 6, No. 3, 302--345 (1991; Zbl 0717.90061) Full Text: DOI
Loogen, Rita; Goltz, Ursula Modelling nondeterministic concurrent processes with event structures. (English) Zbl 0717.68028 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 1, 39-73 (1991). MSC: 68Q10 68Q85 68Q55 PDFBibTeX XMLCite \textit{R. Loogen} and \textit{U. Goltz}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 1, 39--73 (1991; Zbl 0717.68028)
Fernández, Begoña Markov properties of the fluctuation limit of a particle system with death. (English) Zbl 0711.60106 J. Math. Anal. Appl. 155, No. 1, 66-77 (1991). MSC: 60K35 60B10 60J60 60J80 PDFBibTeX XMLCite \textit{B. Fernández}, J. Math. Anal. Appl. 155, No. 1, 66--77 (1991; Zbl 0711.60106) Full Text: DOI
Sugasawa, Yoshio; Jin, Qun; Zhang, Jian-Ting; Seya, Koichiro Modelling and analysis of a semaphore system by an extended stochastic Petri net. (English) Zbl 0707.68060 Int. J. Syst. Sci. 22, No. 1, 217-224 (1991). MSC: 68Q85 60K20 68M20 PDFBibTeX XMLCite \textit{Y. Sugasawa} et al., Int. J. Syst. Sci. 22, No. 1, 217--224 (1991; Zbl 0707.68060) Full Text: DOI
Cheremensky, Alexander G. Robust frequency design of linear stationary systems in aeroautoelastics. (English) Zbl 0760.73052 J. Sci. Comput. 6, No. 2, 211-227 (1991). Reviewer: St.Jendo (Warszawa) MSC: 74F10 74H45 PDFBibTeX XMLCite \textit{A. G. Cheremensky}, J. Sci. Comput. 6, No. 2, 211--227 (1991; Zbl 0760.73052) Full Text: DOI
Horváth, Lajos On \(L_ p\)-norms of multivariate density estimators. (English) Zbl 0765.62045 Ann. Stat. 19, No. 4, 1933-1949 (1991). Reviewer: R.Mentz (S.M.de Tucuman) MSC: 62G07 62H12 60F25 62G20 60F05 PDFBibTeX XMLCite \textit{L. Horváth}, Ann. Stat. 19, No. 4, 1933--1949 (1991; Zbl 0765.62045) Full Text: DOI
Holst, Ulla; Lindgren, Georg Recursive estimation in mixture models with Markov regime. (English) Zbl 0739.62068 IEEE Trans. Inf. Theory 37, No. 6, 1683-1690 (1991). MSC: 62M05 PDFBibTeX XMLCite \textit{U. Holst} and \textit{G. Lindgren}, IEEE Trans. Inf. Theory 37, No. 6, 1683--1690 (1991; Zbl 0739.62068) Full Text: DOI
Klug, A. Yu.; Yuditskij, S. A. A model of interaction of parallel asynchronous discrete processes. (English. Russian original) Zbl 0800.68432 Autom. Remote Control 52, No. 3, 408-415 (1991); translation from Avtom. Telemekh. 1991, No. 3, 133-142 (1991). MSC: 68Q10 68Q85 PDFBibTeX XMLCite \textit{A. Yu. Klug} and \textit{S. A. Yuditskij}, Autom. Remote Control 52, No. 3, 408--415 (1991; Zbl 0800.68432); translation from Avtom. Telemekh. 1991, No. 3, 133--142 (1991)
Makhmudov, Eh. N. Two-parameter optimal control problem for systems of discrete-time inclusions. (English. Russian original) Zbl 0770.49014 Autom. Remote Control 52, No. 3, 353-362 (1991); translation from Avtom. Telemekh. 1991, No. 3, 67-78 (1991). MSC: 49K25 PDFBibTeX XMLCite \textit{Eh. N. Makhmudov}, Autom. Remote Control 52, No. 3, 353--362 (1991; Zbl 0770.49014); translation from Avtom. Telemekh. 1991, No. 3, 67--78 (1991)
Misra, Jayadev Phase synchronization. (English) Zbl 0737.68032 Inf. Process. Lett. 38, No. 2, 101-105 (1991). MSC: 68Q10 68W15 PDFBibTeX XMLCite \textit{J. Misra}, Inf. Process. Lett. 38, No. 2, 101--105 (1991; Zbl 0737.68032) Full Text: DOI
Islam, S. M. R.; Ammar, H. H. On bounds for token probabilities in a class of generalized stochastic Petri nets. (English) Zbl 0736.60088 Numerical solution of Markov chains, Pap. Workshop 1990, Probab., Pure Appl. 8, 597-616 (1991). MSC: 60K20 68Q85 PDFBibTeX XMLCite \textit{S. M. R. Islam} and \textit{H. H. Ammar}, in: A methodology for the specification and generation of Markov models. . 597--616 (1991; Zbl 0736.60088)
Ciardo, Gianfranco; Trivedi, Kishor S. Solution of large GSPN models. (English) Zbl 0736.60086 Numerical solution of Markov chains, Pap. Workshop 1990, Probab., Pure Appl. 8, 565-595 (1991). MSC: 60K20 60J20 68Q85 60J27 PDFBibTeX XMLCite \textit{G. Ciardo} and \textit{K. S. Trivedi}, in: A methodology for the specification and generation of Markov models. . 565--595 (1991; Zbl 0736.60086)
Barrett, Geoff; Goldsmith, Michael Classifying unbounded nondeterminism in CSP. (English) Zbl 0792.68088 Topology and category theory in computer science, Proc. Conf., Oxford/UK 1989, 57-74 (1991). MSC: 68Q55 68Q10 03B65 54D20 PDFBibTeX XMLCite \textit{G. Barrett} and \textit{M. Goldsmith}, in: Topology, computer science, and the mathematics of convergence. . 57--74 (1991; Zbl 0792.68088)
Boudol, G.; Castellani, I.; Hennessy, M.; Kiehn, A. Observing localities. (Extended abstract). (English) Zbl 0778.68055 Mathematical foundations of computer science, Proc. 16th Int. Symp., Kazimierz Dolny/Pol. 1991, Lect. Notes Comput. Sci. 520, 93-102 (1991). MSC: 68Q55 68Q10 PDFBibTeX XMLCite \textit{G. Boudol} et al., Lect. Notes Comput. Sci. 520, 93--102 (1991; Zbl 0778.68055)
Engelfriet, Joost Branching processes of Petri nets. (English) Zbl 0743.68106 Acta Inf. 28, No. 6, 575-591 (1991). MSC: 68Q85 68Q10 PDFBibTeX XMLCite \textit{J. Engelfriet}, Acta Inf. 28, No. 6, 575--591 (1991; Zbl 0743.68106) Full Text: DOI
Winskel, Glynn A note on model checking the modal \(\nu\)-calculus. (English) Zbl 0745.68083 Theor. Comput. Sci. 83, No. 1, 157-167 (1991). MSC: 68Q85 68Q10 PDFBibTeX XMLCite \textit{G. Winskel}, Theor. Comput. Sci. 83, No. 1, 157--167 (1991; Zbl 0745.68083) Full Text: DOI
Marano, Salvatore A. Controllability of partial differential inclusions depending on a parameter and distributed parameter control processes. (English) Zbl 0770.93010 Matematiche 45, No. 2, 283-300 (1990). Reviewer: V.M.Marchenko (Minsk) MSC: 93B05 93C20 PDFBibTeX XMLCite \textit{S. A. Marano}, Matematiche 45, No. 2, 283--300 (1990; Zbl 0770.93010)
Guessarian, Irene (ed.) Semantics of systems of concurrent processes. LITP Spring School on theoretical computer science, La Roche Posay, France, 23-27 April 1990. Proceedings. (English) Zbl 0744.68020 Lecture Notes in Computer Science. 469. Berlin etc.: Springer-Verlag. V, 456 p. (1990). Reviewer: B.Corneliu (Iaşi) MSC: 68-06 68Q55 68Q10 68Q85 PDFBibTeX XMLCite \textit{I. Guessarian} (ed.), Semantics of systems of concurrent processes. LITP Spring School on theoretical computer science, La Roche Posay, France, 23-27 April 1990. Proceedings. Berlin etc.: Springer-Verlag (1990; Zbl 0744.68020)
Diekert, Volker Combinatorics on traces. (English) Zbl 0717.68002 Lecture Notes in Computer Science, 454. Berlin etc.: Springer-Verlag. VII, 164 p. DM 33.00 (1990). Reviewer: G.Mauri MSC: 68-02 68Q45 68R15 68Q05 68Q10 03D03 68Q42 68Q85 PDFBibTeX XMLCite \textit{V. Diekert}, Combinatorics on traces. Berlin etc.: Springer-Verlag (1990; Zbl 0717.68002) Full Text: DOI
Baeten, J. C. M. (ed.); Klop, J. W. (ed.) CONCUR ’90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings. (English) Zbl 0746.68005 Lecture Notes in Computer Science 458. Berlin etc.: Springer-Verlag. VII, 536 p. (1990). Reviewer: F.-L.Tiplea (Iaşi) MSC: 68-06 68Q10 68Q55 68Q60 68Q85 00B25 PDFBibTeX XMLCite \textit{J. C. M. Baeten} (ed.) and \textit{J. W. Klop} (ed.), CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings. Berlin etc.: Springer-Verlag (1990; Zbl 0746.68005)
Casciati, F. (ed.); Elishakoff, I. (ed.); Roberts, J. B. (ed.) [Kozin, F.; Zhang, Z. Y.; Wedig, W. V.; Kazimierczyk, P.; Roberts, J. B.; Sadeghi, A. H.; Suhardjo, J.; Spencer, B. F.; Sain, M. K.; Monaco, R.; Rèpaci, A.; Bellomo, N.; Elishakoff, I.; Faravelli, L.; Bigi, D.; Krée, P.; Talay, D.; Tubaro, L.; Ammon, D.; Augusti, G.; Borri, C.; Gusella, V.; Baratta, A.; Cazzulo, R.; Dogliani, M.; Fernando, R.; DiPaola, M.; Falsone, G.; Muscolino, G.; Iwankiewicz, R.; Nielsen, S. R. K.; Thoft-Christensen, P.; Corsanego, A.; Lagomarsino, S.; Guagenti, E.; Molina, C.; Hayek, H.; Irschik, H.; Ziegler, F.; Yeh, C. H.; Wen, Y. K.; Berard, P.; Breysse, D.; Ditlevsen, O.; Grasman, J.; Grigoriu, M.; Guedes Soares, C.; Mørk, K. J.] Nonlinear structural systems under random conditions. Proceedings of the European mechanics colloquium, Euromech 250, Como, Italy, June 19–23, 1989. Reprinted from the special issue of the journal Structural Safety 8, Nos. 1-4. (English) Zbl 0703.73048 Amsterdam etc.: Elsevier. 386 p. $ 143.50; Dfl. 280.00 (1990). Reviewer: J.Murzewski MSC: 74H50 74-06 70L05 93E25 74S30 74H45 60G10 74A60 74M25 74S05 93E12 93E15 74K15 62N05 86A15 93E20 PDFBibTeX XMLCite \textit{F. Casciati} (ed.) et al., Nonlinear structural systems under random conditions. Proceedings of the European mechanics colloquium, Euromech 250, Como, Italy, June 19--23, 1989. Reprinted from the special issue of the journal Structural Safety 8, Nos. 1-4. Amsterdam etc.: Elsevier (1990; Zbl 0703.73048)
Rattray, Charles (ed.) Specification and verification of concurrent systems. Proceedings of the BCS-FACS workshop, held on 6-8 July 1988, at the University of Stirling, Scotland. (English) Zbl 0745.68014 Workshops in Computing. Berlin etc.: Springer-Verlag. VIII, 612 p. (1990). Reviewer: D.Gruska (Bratislava) MSC: 68-06 68Q10 68Q60 PDFBibTeX XMLCite \textit{C. Rattray} (ed.), Specification and verification of concurrent systems. Proceedings of the BCS-FACS workshop, held on 6-8 July 1988, at the University of Stirling, Scotland. Berlin etc.: Springer-Verlag (1990; Zbl 0745.68014)
Wu, Wenfang A stochastic-mechanical model for mammalian long bone growth. (English) Zbl 0731.92005 Math. Comput. Modelling 14, 662-667 (1990). MSC: 92C15 92C10 60J85 60J20 PDFBibTeX XMLCite \textit{W. Wu}, Math. Comput. Modelling 14, 662--667 (1990; Zbl 0731.92005) Full Text: DOI
Zgurovskij, M. Z.; Ramirez, W. Fred Estimating the states and parameters of stochastic distributed processes that develop in different temporal domains. (English. Russian original) Zbl 0731.60092 Sov. J. Autom. Inf. Sci. 23, No. 3, 12-20 (1990); translation from Avtomatika 1990, No. 3, 14-22 (1990). MSC: 60K30 93E11 60G35 PDFBibTeX XMLCite \textit{M. Z. Zgurovskij} and \textit{W. F. Ramirez}, Sov. J. Autom. Inf. Sci. 23, No. 3, 12--20 (1990; Zbl 0731.60092); translation from Avtomatika 1990, No. 3, 14--22 (1990)
Tseng, Paul Distributed computation for linear programming problems satisfying a certain diagonal dominance condition. (English) Zbl 0718.90061 Math. Oper. Res. 15, No. 1, 33-49 (1990). Reviewer: T.Rapcsák (Budapest) MSC: 90C05 90C06 65K05 90C40 68W15 90-08 PDFBibTeX XMLCite \textit{P. Tseng}, Math. Oper. Res. 15, No. 1, 33--49 (1990; Zbl 0718.90061) Full Text: DOI Link
Hofstee, H. Peter; Martin, Alain J.; van de Snepscheut, Jan L. A. Distributed sorting. (English) Zbl 0716.68040 Sci. Comput. Program. 15, No. 2-3, 119-133 (1990). Reviewer: D.Grigoras MSC: 68W15 68P10 PDFBibTeX XMLCite \textit{H. P. Hofstee} et al., Sci. Comput. Program. 15, No. 2--3, 119--133 (1990; Zbl 0716.68040) Full Text: DOI
Akyildiz, Ian F.; Liu, Wei Performance optimization of distributed-system models with unreliable servers. (English) Zbl 0715.90055 IEEE Trans. Reliab. 39, No. 2, 236-243 (1990). MSC: 90B25 60K20 90C90 90B22 90B10 60K25 PDFBibTeX XMLCite \textit{I. F. Akyildiz} and \textit{W. Liu}, IEEE Trans. Reliab. 39, No. 2, 236--243 (1990; Zbl 0715.90055) Full Text: DOI
Lafortune, Stéphane; Yoo, Hyuck Some results on Petri net languages. (English) Zbl 0709.68036 IEEE Trans. Autom. Control 35, No. 4, 482-485 (1990). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{S. Lafortune} and \textit{H. Yoo}, IEEE Trans. Autom. Control 35, No. 4, 482--485 (1990; Zbl 0709.68036) Full Text: DOI Link
Ghosh, Mrinal K. Markov decision processes with multiple costs. (English) Zbl 0706.90090 Oper. Res. Lett. 9, No. 4, 257-260 (1990). Reviewer: H.J.Weiner MSC: 90C40 90-08 60J05 91B16 68W15 PDFBibTeX XMLCite \textit{M. K. Ghosh}, Oper. Res. Lett. 9, No. 4, 257--260 (1990; Zbl 0706.90090) Full Text: DOI
Jacob, Jeremy A model of reconfiguration in communicating sequential processes. (English) Zbl 0706.68075 Inf. Process. Lett. 35, No. 1, 19-22 (1990). MSC: 68Q60 68Q42 68M10 68N99 68N25 PDFBibTeX XMLCite \textit{J. Jacob}, Inf. Process. Lett. 35, No. 1, 19--22 (1990; Zbl 0706.68075) Full Text: DOI
Chan, K. S.; Tong, H. On likelihood ratio tests for threshold autoregression. (English) Zbl 0706.62078 J. R. Stat. Soc., Ser. B 52, No. 3, 469-476 (1990). MSC: 62M10 62M07 PDFBibTeX XMLCite \textit{K. S. Chan} and \textit{H. Tong}, J. R. Stat. Soc., Ser. B 52, No. 3, 469--476 (1990; Zbl 0706.62078)
Horváth, Lajos Asymptotics for \(L_ p\)-norms of Fourier series density estimators. (English) Zbl 0706.62042 Constructive Approximation 6, No. 4, 375-397 (1990). Reviewer: Zengyan Lin MSC: 62G05 60F05 60F25 62G20 PDFBibTeX XMLCite \textit{L. Horváth}, Constr. Approx. 6, No. 4, 375--397 (1990; Zbl 0706.62042) Full Text: DOI
Ozawa, Shin Fluctuation of spectra in random media. II. (English) Zbl 0706.60101 Osaka J. Math. 27, No. 1, 17-66 (1990). Reviewer: Shin Ozawa MSC: 60K35 35M10 PDFBibTeX XMLCite \textit{S. Ozawa}, Osaka J. Math. 27, No. 1, 17--66 (1990; Zbl 0706.60101)
Giannakis, Georgios B.; Tsatsanis, Michail K. Signal detection and classification using matched filtering and higher order statistics. (English) Zbl 0705.62016 IEEE Trans. Acoust. Speech Signal Process. 38, No. 7, 1284-1296 (1990). MSC: 62B10 94A12 62M99 60G35 PDFBibTeX XMLCite \textit{G. B. Giannakis} and \textit{M. K. Tsatsanis}, IEEE Trans. Acoust. Speech Signal Process. 38, No. 7, 1284--1296 (1990; Zbl 0705.62016) Full Text: DOI
Petit, A. Distribution and synchronized automata. (English) Zbl 0704.68084 Theor. Comput. Sci. 76, No. 2-3, 285-308 (1990). MSC: 68Q45 68Q10 PDFBibTeX XMLCite \textit{A. Petit}, Theor. Comput. Sci. 76, No. 2--3, 285--308 (1990; Zbl 0704.68084) Full Text: DOI
Neuts, Marcel F. On Viterbi’s formula for the mean delay in a queue of data packets. (English) Zbl 0704.60093 Commun. Stat., Stochastic Models 6, No. 1, 87-98 (1990). Reviewer: V.V.Kalashnikov MSC: 60K25 60J10 PDFBibTeX XMLCite \textit{M. F. Neuts}, Commun. Stat., Stochastic Models 6, No. 1, 87--98 (1990; Zbl 0704.60093) Full Text: DOI
Lengauer, C.; Sanders, J. W. The projection of systolic programs. (English) Zbl 0703.68052 Formal Aspects Comput. 2, No. 3, 273-293 (1990). MSC: 68W15 68N15 68N01 PDFBibTeX XMLCite \textit{C. Lengauer} and \textit{J. W. Sanders}, Formal Asp. Comput. 2, No. 3, 273--293 (1990; Zbl 0703.68052) Full Text: DOI
Doerschuk, Peter C.; Tenney, Robert R.; Willsky, Alan S. Event-based estimation of interacting Markov chains with applications to electrocardiogram analysis. (English) Zbl 0698.92004 Int. J. Syst. Sci. 21, No. 2, 285-304 (1990). MSC: 92C50 93E10 60J20 PDFBibTeX XMLCite \textit{P. C. Doerschuk} et al., Int. J. Syst. Sci. 21, No. 2, 285--304 (1990; Zbl 0698.92004) Full Text: DOI
Rabinovich, A.; Trakhtenbrot, B. A. Communication among relations. (English) Zbl 0765.68110 Automata, languages and programming, Proc. 17th Int. Colloq., Warwick/GB 1990, Lect. Notes Comput. Sci. 443, 294-307 (1990). MSC: 68Q55 68M10 68Q10 PDFBibTeX XMLCite \textit{A. Rabinovich} and \textit{B. A. Trakhtenbrot}, Lect. Notes Comput. Sci. 443, 294--307 (1990; Zbl 0765.68110)
Engberg, Uffe; Winskel, Glynn Petri nets as models of linear logic. (English) Zbl 0757.03005 CAAP’90, Proc. 15th Colloq., Copenhagen/Denmark 1990, Lect. Notes Comput. Sci. 431, 147-161 (1990). MSC: 03B20 68Q85 03F05 PDFBibTeX XMLCite \textit{U. Engberg} and \textit{G. Winskel}, Lect. Notes Comput. Sci. 431, 147--161 (1990; Zbl 0757.03005)
Zhang, Bucheng Asymptotic behaviour for \(U\)-statistics based on exchangeable random elements. (Chinese. English summary) Zbl 0745.60028 J. Xiamen Univ., Nat. Sci. 29, No. 2, 124-128 (1990). Reviewer: Bai Zhidong (Philadelphia) MSC: 60G09 60G50 62E20 PDFBibTeX XMLCite \textit{B. Zhang}, J. Xiamen Univ., Nat. Sci. 29, No. 2, 124--128 (1990; Zbl 0745.60028)
Neronov, V. S. (ed.) Optimal control of processes with distributed parameters. Collection of scientific works. (Optimal’noe upravlenie protsessami s raspredelennymi parametrami. Sbornik nauchnykh trudov.) (Russian) Zbl 0727.00019 Alma-Ata: Kazakhskij Gosudarstvennyj Universitet. 83 p. R. 0.80 (1989). MSC: 00B15 93-06 49-06 PDFBibTeX XMLCite \textit{V. S. Neronov} (ed.), Optimal'noe upravlenie protsessami s raspredelennymi parametrami. Sbornik nauchnykh trudov (Russian). Alma-Ata: Kazakhskij Gosudarstvennyj Universitet (1989; Zbl 0727.00019)
Jesshope, C. R. (ed.); Reinartz, K. D. (ed.) CONPAR 88. Conference held in Manchester, GB, 1988. (English) Zbl 0747.68007 British Computer Society Workshop Series. Cambridge: University Press. xi, 761 p. (1989). Reviewer: C.H.Cap (Zürich) MSC: 68-06 68W15 65Y05 68Q10 68Q05 68M01 68N15 68M99 65Y10 PDFBibTeX XMLCite \textit{C. R. Jesshope} (ed.) and \textit{K. D. Reinartz} (ed.), CONPAR 88. Conference held in Manchester, GB, 1988. Cambridge: University Press (1989; Zbl 0747.68007)
Štulajter, František Jackknife and other estimators of a covariance function of a stationary random process. (English) Zbl 0698.62087 Asymptotic statistics, 4th Prague Symp., Prague/Czech. 1988, 499-506 (1989). MSC: 62M09 PDFBibTeX XML
Banks, H. T.; Kojima, Fumio Filtering problem for the stochastic vibration of flexible beams with tip bodies. (English) Zbl 0697.73068 Distributed parameter systems: modelling and simulation, Proc. IMACS/IFAC Int. Symp., Hiroshima/Jap. 1987, 231-238 (1989). Reviewer: L.Sperling MSC: 74H50 93E11 60G35 74H45 60H05 74S30 PDFBibTeX XML
Apostolopoulos, Theodore K. Time distributions in discrete time Markov processes. (English) Zbl 0696.60070 Appl. Math. Modelling 13, No. 11, 658-663 (1989). MSC: 60J20 68M20 PDFBibTeX XMLCite \textit{T. K. Apostolopoulos}, Appl. Math. Modelling 13, No. 11, 658--663 (1989; Zbl 0696.60070) Full Text: DOI
Goetz, J.; Le Tu, Q. H. Model of concurrent processes synchronization using Petri nets. (English) Zbl 0691.68071 Syst. Anal., Modelling Simulation 6, No. 7, 539-543 (1989). MSC: 68Q85 68N25 PDFBibTeX XMLCite \textit{J. Goetz} and \textit{Q. H. Le Tu}, Syst. Anal. Modell. Simul. 6, No. 7, 539--543 (1989; Zbl 0691.68071)
Winskel, Glynn A note on model checking the modal \(\nu\)-calculus. (English) Zbl 0691.68027 Automata, languages and programming, Proc. 16th Int. Colloq., Stresa/Italy 1989, Lect. Notes Comput. Sci. 372, 761-772 (1989). MSC: 68Q65 68W99 03B45 68Q85 68N25 PDFBibTeX XML
Sharma, S. D. On a non-Markovian time-dependent queueing system. (English) Zbl 0689.60083 J. Appl. Probab. 26, No. 1, 142-151 (1989). Reviewer: G.Wieber MSC: 60K25 60K20 90B22 PDFBibTeX XMLCite \textit{S. D. Sharma}, J. Appl. Probab. 26, No. 1, 142--151 (1989; Zbl 0689.60083) Full Text: DOI
Czaja, Ludwick Finite processes in cause-effect structures and their composition. (English) Zbl 0688.68058 Inf. Process. Lett. 31, No. 6, 305-310 (1989). MSC: 68Q85 68N25 PDFBibTeX XMLCite \textit{L. Czaja}, Inf. Process. Lett. 31, No. 6, 305--310 (1989; Zbl 0688.68058) Full Text: DOI
Jacobsen, Martin Right censoring and martingale methods for failure time data. (English) Zbl 0688.62047 Ann. Stat. 17, No. 3, 1133-1156 (1989). MSC: 62M09 62G05 62N05 60G55 PDFBibTeX XMLCite \textit{M. Jacobsen}, Ann. Stat. 17, No. 3, 1133--1156 (1989; Zbl 0688.62047) Full Text: DOI
Zuidweg, Han Decision procedures and graph reductions for bisimulation equivalences. I. (English) Zbl 0685.68031 Int. J. Comput. Math. 29, No. 2-4, 79-101 (1989). Reviewer: A.Maggiolo-Schettini MSC: 68Q65 68N25 68Q85 PDFBibTeX XMLCite \textit{H. Zuidweg}, Int. J. Comput. Math. 29, No. 2--4, 79--101 (1989; Zbl 0685.68031) Full Text: DOI
Hoballah, Imad Y.; Varshney, Pramod K. Distributed Bayesian signal detection. (English) Zbl 0683.94002 IEEE Trans. Inf. Theory 35, No. 5, 995-1000 (1989). MSC: 94A13 60G35 PDFBibTeX XMLCite \textit{I. Y. Hoballah} and \textit{P. K. Varshney}, IEEE Trans. Inf. Theory 35, No. 5, 995--1000 (1989; Zbl 0683.94002) Full Text: DOI
Hoballah, Imad Y.; Varshney, Pramod K. An information theoretic approach to the distributed detection problem. (English) Zbl 0683.94001 IEEE Trans. Inf. Theory 35, No. 5, 988-994 (1989). MSC: 94A13 60G35 PDFBibTeX XMLCite \textit{I. Y. Hoballah} and \textit{P. K. Varshney}, IEEE Trans. Inf. Theory 35, No. 5, 988--994 (1989; Zbl 0683.94001) Full Text: DOI
Winskel, Glynn An introduction to event structures. (Tutorial). (English) Zbl 0683.68074 Linear time, branching time and partial order in logics and models for concurrency, Proc. Workshop, Noordwijkerhout/NL 1988, Lect. Notes Comput. Sci. 354, 364-397 (1989). Reviewer: N.Curteanu MSC: 68Q55 68N25 68N99 68Q85 68Q45 68N01 PDFBibTeX XML
Mazurkiewicz, A. Basic notions of trace theory. (Tutorial). (English) Zbl 0683.68032 Linear time, branching time and partial order in logics and models for concurrency, Proc. Workshop, Noordwijkerhout/NL 1988, Lect. Notes Comput. Sci. 354, 285-363 (1989). Reviewer: N.Curteanu MSC: 68Q65 68N25 68Q45 68Q85 PDFBibTeX XML
Jojczyk, K.; Konieczny, J.; Kuzak, T. On interleaving behaviour of PT-nets. (English) Zbl 0679.68118 Theor. Comput. Sci. 64, No. 1, 25-38 (1989). MSC: 68Q85 PDFBibTeX XMLCite \textit{K. Jojczyk} et al., Theor. Comput. Sci. 64, No. 1, 25--38 (1989; Zbl 0679.68118) Full Text: DOI
Otter, P. W.; van Dal, R. State-space approximation of multi-input multi-output systems with stochastic exogenous inputs. (English) Zbl 0679.62074 Comput. Math. Appl. 18, No. 6-7, 529-538 (1989). MSC: 62M20 93E11 62P20 PDFBibTeX XMLCite \textit{P. W. Otter} and \textit{R. van Dal}, Comput. Math. Appl. 18, No. 6--7, 529--538 (1989; Zbl 0679.62074) Full Text: DOI Link
Szalas, Andrzej; Petermann, Uwe On temporal logic for distributed systems and its application to processes communicating by interrupts. (English) Zbl 0679.03006 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 2, 191-203 (1989). Reviewer: L.Brim MSC: 03B70 68N25 68Q60 03B45 68Q65 PDFBibTeX XMLCite \textit{A. Szalas} and \textit{U. Petermann}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 2, 191--203 (1989; Zbl 0679.03006)
Hirshfeld, J.; Rabinovich, A.; Trakhtenbrot, B. A. Discerning causality in interleaving behavior. (English) Zbl 0677.68006 Logic at Botik, Proc. Symposium on logical foundations of computer science, Pereslavl-Zalessky/USSR 1989, Lect. Notes Comput. Sci. 363, 146-162 (1989). MSC: 68Q60 68Q85 68Q55 68N25 PDFBibTeX XML
Pósafalvi, András; Sztrik, János On the heterogeneous machine interference problem with priority and ordinary machines. (English) Zbl 0675.90037 Eur. J. Oper. Res. 41, No. 1, 54-63 (1989). MSC: 90B25 60K20 PDFBibTeX XMLCite \textit{A. Pósafalvi} and \textit{J. Sztrik}, Eur. J. Oper. Res. 41, No. 1, 54--63 (1989; Zbl 0675.90037) Full Text: DOI
Reibman, Andrew; Smith, Roger; Trivedi, Kishor Markov and Markov reward model transient analysis: An overview of numerical approaches. (English) Zbl 0672.90062 Eur. J. Oper. Res. 40, No. 2, 257-267 (1989). MSC: 90B25 60K20 PDFBibTeX XMLCite \textit{A. Reibman} et al., Eur. J. Oper. Res. 40, No. 2, 257--267 (1989; Zbl 0672.90062) Full Text: DOI
Halpern, Joseph Y.; Vardi, Moshe Y. The complexity of reasoning about knowledge and time. I: Lower bounds. (English) Zbl 0672.03015 J. Comput. Syst. Sci. 38, No. 1, 195-237 (1989). Reviewer: G.Tseytlin MSC: 03B70 68N25 03D15 68Q25 PDFBibTeX XMLCite \textit{J. Y. Halpern} and \textit{M. Y. Vardi}, J. Comput. Syst. Sci. 38, No. 1, 195--237 (1989; Zbl 0672.03015) Full Text: DOI
Sumita, Shuichi Performance analysis of interprocessor communications in an electronic switching system with distributed control. (English) Zbl 0667.68048 Performance Eval. 9, No. 2, 83-91 (1989). MSC: 68M20 60K20 PDFBibTeX XMLCite \textit{S. Sumita}, Perform. Eval. 9, No. 2, 83--91 (1989; Zbl 0667.68048) Full Text: DOI
Haas, Peter J.; Shedler, Gerald S. Stochastic Petri net representation of discrete event simulations. (English) Zbl 0667.60091 IEEE Trans. Softw. Eng. 15, No. 4, 381-393 (1989). MSC: 60K20 68Q85 PDFBibTeX XMLCite \textit{P. J. Haas} and \textit{G. S. Shedler}, IEEE Trans. Softw. Eng. 15, No. 04, 381--393 (1989; Zbl 0667.60091) Full Text: DOI
Florin, Gerard; Natkin, Stephane Necessary and sufficient ergodicity condition for open synchronized queueing networks. (English) Zbl 0666.60092 IEEE Trans. Softw. Eng. 15, No. 4, 367-380 (1989). MSC: 60K20 68Q85 PDFBibTeX XMLCite \textit{G. Florin} and \textit{S. Natkin}, IEEE Trans. Softw. Eng. 15, No. 04, 367--380 (1989; Zbl 0666.60092) Full Text: DOI Link
Guessarian, Irène; Niar-Dinedane, Wafâa Fairness and regularity for SCCS processes. (English) Zbl 0665.68019 RAIRO, Inf. Théor. Appl. 23, No. 1, 59-86 (1989). MSC: 68N25 68Q45 68Q60 68Q85 PDFBibTeX XMLCite \textit{I. Guessarian} and \textit{W. Niar-Dinedane}, RAIRO, Inform. Théor. Appl. 23, No. 1, 59--86 (1989; Zbl 0665.68019) Full Text: DOI EuDML
Stark, W. Richard A logic for distributed processes. (English) Zbl 0661.03019 Z. Math. Logik Grundlagen Math. 35, No. 4, 311-320 (1989). Reviewer: W.R.Stark MSC: 03B70 68N25 68T15 PDFBibTeX XMLCite \textit{W. R. Stark}, Z. Math. Logik Grundlagen Math. 35, No. 4, 311--320 (1989; Zbl 0661.03019) Full Text: DOI
Vogler, Walter Failures semantics and deadlocking of modular Petri nets. (English) Zbl 0642.68109 Acta Inf. 26, No. 4, 333-348 (1989). Reviewer: W.Vogler MSC: 68Q85 68Q60 68N25 PDFBibTeX XMLCite \textit{W. Vogler}, Acta Inf. 26, No. 4, 333--348 (1989; Zbl 0642.68109)
Broy, Manfred (ed.) Constructive methods in computing science. International Summer School, Marktoberdorf/FRG, July 24 – August 5, 1988. Proceedings. (English) Zbl 0701.68005 NATO ASI Series, F, 55. Berlin etc.: Springer-Verlag. VIII, 478 p. DM 148.00 (1989). Reviewer: M.Kummer MSC: 68-06 68Q60 68Q65 00B25 PDFBibTeX XMLCite \textit{M. Broy} (ed.), Constructive methods in computing science. International Summer School, Marktoberdorf/FRG, July 24 -- August 5, 1988. Proceedings. Berlin etc.: Springer-Verlag (1989; Zbl 0701.68005)
Haas, Peter J.; Shedler, Gerald S. Modeling power of stochastic Petri nets for simulation. (English) Zbl 1134.68442 Probab. Eng. Inf. Sci. 2, No. 4, 435-459 (1988). MSC: 68Q85 60G35 PDFBibTeX XMLCite \textit{P. J. Haas} and \textit{G. S. Shedler}, Probab. Eng. Inf. Sci. 2, No. 4, 435--459 (1988; Zbl 1134.68442) Full Text: DOI
Silberschatz, Abraham; Peterson, James Operating systems concepts. alternate ed. (English) Zbl 0758.68023 Addison-Wesley Series in Computer Science. Reading, MA: Addison-Wesley. XIII, 573 p. (1988). Reviewer: J.Olszewski (Kensington) MSC: 68N25 68M20 68-01 PDFBibTeX XMLCite \textit{A. Silberschatz} and \textit{J. Peterson}, Operating systems concepts. alternate ed. Reading, MA: Addison-Wesley (1988; Zbl 0758.68023)
Kecman, Vojislav State-space models of lumped and distributed systems. (English) Zbl 0664.93001 Lecture Notes in Control and Information Sciences, 112. Berlin etc.: Springer-Verlag. ix, 280 p. DM 74.00 (1988). Reviewer: Dieter Franke (Hamburg) MSC: 93-01 93C15 93C20 93C95 PDFBibTeX XMLCite \textit{V. Kecman}, State-space models of lumped and distributed systems. Berlin etc.: Springer-Verlag (1988; Zbl 0664.93001)
Fomby, Thomas B.; Hill, R. Carter; Johnson, Stanley R. Advanced econometric methods. Corr. 2nd printing. (English) Zbl 0668.62075 New York etc.: Springer-Verlag. xix, 624 p. DM 78.00 (1988). Reviewer: H.S.Buscher MSC: 62P20 62-02 PDFBibTeX XMLCite \textit{T. B. Fomby} et al., Advanced econometric methods. Corr. 2nd printing. New York etc.: Springer-Verlag (1988; Zbl 0668.62075)
Filyurin, A. S.; Cherkasova, L. A. Parallel processes with synchronization: The network and algebraic approaches. (Russian) Zbl 0727.68035 Vychisl. Sist. 124, 26-45 (1988). MSC: 68Q10 68M10 68Q85 PDFBibTeX XMLCite \textit{A. S. Filyurin} and \textit{L. A. Cherkasova}, Vychisl. Sist. 124, 26--45 (1988; Zbl 0727.68035)
Călin, S.; Tăbuş, I. Models and methods for concurrent processes control design. (Romanian. English summary) Zbl 0719.68049 Bul. Inst. Politeh. Bucur., Ser. Autom. Calc. 50, 19-28 (1988). MSC: 68Q85 68Q45 68Q10 PDFBibTeX XMLCite \textit{S. Călin} and \textit{I. Tăbuş}, Bul. Inst. Politeh. Bucur., Ser. Autom. Calc. 50, 19--28 (1988; Zbl 0719.68049)
Călin, S. A type of propositional logic resulting from Petri nets models. (Romanian. English summary) Zbl 0719.68048 Bul. Inst. Politeh. Bucur., Ser. Autom. Calc. 50, 3-12 (1988). MSC: 68Q85 03B45 68Q10 PDFBibTeX XMLCite \textit{S. Călin}, Bul. Inst. Politeh. Bucur., Ser. Autom. Calc. 50, 3--12 (1988; Zbl 0719.68048)
Cosnard, Michel (ed.); Barton, Michael H. (ed.); Vanneschi, Marco (ed.) Parallel processing. Proceedings of the IFIP WG 10.3 working conference, Pisa, Italy, 25-27 April 1988. (English) Zbl 0668.68007 Amsterdam etc.: North-Holland. XX, 390 p.; $ 94.75; Dfl. 180.00 (1988). Reviewer: I.Wende MSC: 68-06 68N99 68N25 65Y05 00B25 PDFBibTeX XMLCite \textit{M. Cosnard} (ed.) et al., Parallel processing. Proceedings of the IFIP WG 10.3 working conference, Pisa, Italy, 25-27 April 1988. Amsterdam etc.: North-Holland (1988; Zbl 0668.68007)
Zgurovskij, M. Z.; Novikov, A. N. Estimation of the states and parameters of stochastic distributed systems on the basis of separation and duality principles. (English. Russian original) Zbl 0704.62079 Sov. J. Autom. Inf. Sci. 21, No. 4, 14-22 (1988); translation from Avtomatika 1988, No. 4, 17-25 (1988). MSC: 62M09 62N99 PDFBibTeX XMLCite \textit{M. Z. Zgurovskij} and \textit{A. N. Novikov}, Sov. J. Autom. Inf. Sci. 21, No. 4, 14--22 (1988; Zbl 0704.62079); translation from Avtomatika 1988, No. 4, 17--25 (1988)
Krasnobaev, V. A.; Krasnobaev, L. A. Application of Petri nets for the modeling of detection and location of intermittent faults in computers. (English. Russian original) Zbl 0691.68073 Autom. Remote Control 49, No. 9, 1198-1204 (1988); translation from Avtom. Telemekh. 1988, No. 9, 111-118 (1988). MSC: 68Q85 68N99 68U20 PDFBibTeX XMLCite \textit{V. A. Krasnobaev} and \textit{L. A. Krasnobaev}, Autom. Remote Control 49, No. 9, 1198--1204 (1988; Zbl 0691.68073); translation from Avtom. Telemekh. 1988, No. 9, 111--118 (1988)
Astesiano, Egidio; Giovini, Alessandro; Reggio, Gianna Data in a concurrent environment. (English) Zbl 0685.68021 Concurrency ’88, Proc. Int. Conf., Hamburg/FRG 1988, Lect. Notes Comput. Sci. 335, 140-159 (1988). MSC: 68P05 68N25 68N01 68Q85 68Q99 PDFBibTeX XML
Wang, Qiying Strong approximations for jacknifing function of U-statistics and Von- Mises statistics. (Chinese. English summary) Zbl 0685.62021 J. Syst. Sci. Math. Sci. 8, No. 4, 315-323 (1988). MSC: 62E20 60F15 PDFBibTeX XMLCite \textit{Q. Wang}, J. Syst. Sci. Math. Sci. 8, No. 4, 315--323 (1988; Zbl 0685.62021)
Belikov, V. K.; Rutner, Ya. F. Matrix specification and analysis of colored Petri nets. (English. Russian original) Zbl 0683.68051 Sov. J. Comput. Syst. Sci. 26, 77-80 (1988); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1987, No. 5, 164-167 (1987). MSC: 68Q85 68N25 68U20 PDFBibTeX XMLCite \textit{V. K. Belikov} and \textit{Ya. F. Rutner}, Sov. J. Comput. Syst. Sci. 26, 77--80 (1988; Zbl 0683.68051); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1987, No. 5, 164--167 (1987)
Banaszak, Z.; Roszkowska, E. Deadlock avoidance in pipeline concurrent processes. (English) Zbl 0683.68050 Podstawy Sterowania 18, No. 1-2, 3-17 (1988). MSC: 68Q85 68N25 68M20 68U20 PDFBibTeX XMLCite \textit{Z. Banaszak} and \textit{E. Roszkowska}, Podstawy Sterowania 18, No. 1--2, 3--17 (1988; Zbl 0683.68050)
Banaszak, Zbigniew Control oriented models of interprocess cooperations. (English) Zbl 0679.68040 Syst. Sci. 14, No. 2, 31-59 (1988). MSC: 68N25 68Q65 68Q85 PDFBibTeX XMLCite \textit{Z. Banaszak}, Syst. Sci. 14, No. 2, 31--59 (1988; Zbl 0679.68040)
Haldar, S.; Subramanian, D. K. Ring based termination detection algorithm for distributed computations. (English) Zbl 0678.68019 Inf. Process. Lett. 29, No. 3, 149-153 (1988). Reviewer: C.Masalagiu MSC: 68N25 68W99 PDFBibTeX XMLCite \textit{S. Haldar} and \textit{D. K. Subramanian}, Inf. Process. Lett. 29, No. 3, 149--153 (1988; Zbl 0678.68019) Full Text: DOI
Nelson, Barry L. Anthithetic-variate splitting for steady-state simulations. (English) Zbl 0676.65150 Eur. J. Oper. Res. 36, No. 3, 360-370 (1988). Reviewer: I.Molchanov MSC: 65C99 62M10 PDFBibTeX XMLCite \textit{B. L. Nelson}, Eur. J. Oper. Res. 36, No. 3, 360--370 (1988; Zbl 0676.65150) Full Text: DOI
Gaver, D. P.; Jacobs, P. A. Nonparametric estimation of the probability of a long delay in the M/G/1 queue. (English) Zbl 0669.62019 J. R. Stat. Soc., Ser. B 50, No. 3, 392-402 (1988). MSC: 62G05 60K25 62M05 PDFBibTeX XMLCite \textit{D. P. Gaver} and \textit{P. A. Jacobs}, J. R. Stat. Soc., Ser. B 50, No. 3, 392--402 (1988; Zbl 0669.62019)
Degano, Pierpaolo; Gorrieri, Roberto; Marchetti, Sergio An exercise in concurrency: A CSP process as a condition/event system. (English) Zbl 0668.68069 Advances in Petri nets, APN, Proc. 8th Eur. Workshop, Zaragoza/Spain 1987, Lect. Notes Comput. Sci. 340, 85-105 (1988). MSC: 68Q85 68N25 PDFBibTeX XML
Boudol, G.; Castellani, I. Concurrency and atomicity. (English) Zbl 0666.68021 Programming of future generation computers II, Proc. 2nd Franco-Jap. Symp., Cannes/Fr. 1987, 35-82 (1988). Reviewer: H.Luchian MSC: 68N25 68Q85 68Q65 PDFBibTeX XML
Englund, Jan-Eric; Holst, Ulla; Ruppert, David Recursive M-estimators of location and scale for dependent sequences. (English) Zbl 0666.62038 Scand. J. Stat., Theory Appl. 15, No. 2, 147-159 (1988). Reviewer: H.Nyquist MSC: 62F35 62E20 62L20 62M99 PDFBibTeX XMLCite \textit{J.-E. Englund} et al., Scand. J. Stat. 15, No. 2, 147--159 (1988; Zbl 0666.62038)