Gacs, Peter; Reif, John A simple three-dimensional real-time reliable cellular array. (Russian. English original) Zbl 0797.68120 Kibern. Sb., Nov. Ser. 28, 66-93 (1991); translation from J. Comput. Syst. Sci. 36, No. 2, 125-147 (1988). MSC: 68Q80 68Q45 PDFBibTeX XMLCite \textit{P. Gacs} and \textit{J. Reif}, Kibern. Sb., Nov. Ser. 28, 66--93 (1988; Zbl 0797.68120); translation from J. Comput. Syst. Sci. 36, No. 2, 125--147 (1988)
Gollub, J. P.; Simonelli, F.; Goldberg, J. P. Advances in experimental nonlinear dynamics: space/time patterns. (English) Zbl 0794.58039 Livi, R. (ed.) et al., Chaos and complexity. Papers from the workshop held in Torino, Italy, October 5-11, 1987. Singapore etc.: World Scientific Publishing Co.. 142-151 (1988). MSC: 37N99 37D45 70G10 82C99 PDFBibTeX XMLCite \textit{J. P. Gollub} et al., in: Chaos and complexity. Papers from the workshop held in Torino, Italy, October 5-11, 1987. Singapore etc.: World Scientific Publishing Co.. 142--151 (1988; Zbl 0794.58039)
Jain, Anil Kumar (ed.) Real-time object measurement and classification. Proceedings of the NATO Advanced Research Workshop, held in Maratea, Italy, August 31 - September 3, 1987. (English) Zbl 0800.68086 NATO ASI Series. Series F. Computer and Systems Sciences. 42. Berlin etc.: Springer-Verlag. VI, 407 p. (1988). MSC: 68-06 00B25 PDFBibTeX XMLCite \textit{A. K. Jain} (ed.), Real-time object measurement and classification. Proceedings of the NATO Advanced Research Workshop, held in Maratea, Italy, August 31 - September 3, 1987. Berlin etc.: Springer-Verlag (1988; Zbl 0800.68086)
Huzar, Zbigniew Semantics of the CCS language with real-time mechanisms. (Polish. English summary) Zbl 0729.68043 Podstawy Sterowania 18, No. 3-4, 201-213 (1988). MSC: 68Q55 68N15 PDFBibTeX XMLCite \textit{Z. Huzar}, Podstawy Sterowania 18, No. 3--4, 201--213 (1988; Zbl 0729.68043)
Keller, H. B. Echtzeitsimulation zur Prozeßführung komplexer Syteme. Entwurf und Realisierung eines Systems zur interaktiven graphischen Modellierung und zur modularen/verteilten Echtzeitsimulation verkoppelter dynamischer Systeme. (Real-time simulation for guiding processes in complex systems). (German) Zbl 0664.68116 Fachberichte Simulation, 11. Berlin etc.: Springer-Verlag. XIV, 286 S.; DM 68.00 (1988). Reviewer: L.Bakule MSC: 68U20 68N25 65C20 68-02 PDFBibTeX XMLCite \textit{H. B. Keller}, Echtzeitsimulation zur Prozeßführung komplexer Syteme. Entwurf und Realisierung eines Systems zur interaktiven graphischen Modellierung und zur modularen/verteilten Echtzeitsimulation verkoppelter dynamischer Systeme. (Real-time simulation for guiding processes in complex systems). Berlin etc.: Springer-Verlag (1988; Zbl 0664.68116)
Pnueli, Amir; Harel, Eyal Applications of temporal logic to the specification of real time systems. (English) Zbl 0688.68024 Formal techniques in real-time and fault-tolerant systems, Proc. Symp., Warwick/UK 1988, Lect. Notes Comput. Sci. 331, 84-98 (1988). MSC: 68Q65 68N25 03B45 68N99 68Q85 PDFBibTeX XML
Jiang, Min; Cao, Dazhu Real-time Runge-Kutta formulas with error estimation and their application. (Chinese. English summary) Zbl 0687.65079 J. Nanjing Inst. Technol. 18, No. 5, 147-152 (1988). MSC: 65L05 65L50 34A34 PDFBibTeX XMLCite \textit{M. Jiang} and \textit{D. Cao}, J. Nanjing Inst. Technol. 18, No. 5, 147--152 (1988; Zbl 0687.65079)
Korzun, A. I.; Filaretov, V. F. Identification of the changing load mass of a manipulated object. (English. Russian original) Zbl 0679.93050 Sov. J. Comput. Syst. Sci. 26, No. 4, 112-117 (1988); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1987, No. 6, 182-187 (1987). MSC: 93C95 70B15 93B30 93C40 PDFBibTeX XMLCite \textit{A. I. Korzun} and \textit{V. F. Filaretov}, Sov. J. Comput. Syst. Sci. 26, No. 4, 112--117 (1988; Zbl 0679.93050); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1987, No. 6, 182--187 (1987)
Banaszak, Zbigniew; Abdul-Hussin, Mowafak Hassan Petri net approach to automatic real-time program synthesis. (English) Zbl 0679.68019 Control Cybern. 17, No. 4, 361-375 (1988). MSC: 68Q60 68N25 68Q85 68T99 PDFBibTeX XMLCite \textit{Z. Banaszak} and \textit{M. H. Abdul-Hussin}, Control Cybern. 17, No. 4, 361--375 (1988; Zbl 0679.68019)
Malyshev, V. A. Convergence in the linked cluster theorem for many body fermion systems. (English) Zbl 0674.46053 Commun. Math. Phys. 119, No. 3, 501-508 (1988). Reviewer: P.Szeptycki MSC: 46N99 81T17 81Q10 PDFBibTeX XMLCite \textit{V. A. Malyshev}, Commun. Math. Phys. 119, No. 3, 501--508 (1988; Zbl 0674.46053) Full Text: DOI
Zakarin, E. A.; Sultangazin, U. M. Mathematical modelling of urban air pollution. (English) Zbl 0673.92019 Numerical analysis, Proc. 2nd Int. Symp., Prague/Czech. 1987, Teubner- Texte Math. 107, 299-304 (1988). MSC: 92D40 92F05 91B76 PDFBibTeX XML
Koyman, R.; Shyamasundar, R. K.; De Roever, W. P.; Gerth, R.; Arun-Kumar, S. Compositional semantics for real-time distributed computing. (English) Zbl 0669.68055 Inf. Comput. 79, No. 3, 210-256 (1988). Reviewer: M.Jůza MSC: 68Q55 68N25 68Q60 PDFBibTeX XMLCite \textit{R. Koyman} et al., Inf. Comput. 79, No. 3, 210--256 (1988; Zbl 0669.68055) Full Text: DOI
Shoureshi, Rahmatallah; Hoskin, Robert F. Model-based failure detection and isolation scheme. (English) Zbl 0668.93028 AIAA J. 26, No. 4, 430-433 (1988). MSC: 93B35 93B60 PDFBibTeX XMLCite \textit{R. Shoureshi} and \textit{R. F. Hoskin}, AIAA J. 26, No. 4, 430--433 (1988; Zbl 0668.93028) Full Text: DOI
Quintana, V. H.; Van Cutsem, Th. Power system network parameter estimation. (English) Zbl 0664.93080 Optim. Control Appl. Methods 9, No. 3, 303-323 (1988). MSC: 93E10 62L12 93E25 65C99 93E12 90B15 PDFBibTeX XMLCite \textit{V. H. Quintana} and \textit{Th. Van Cutsem}, Optim. Control Appl. Methods 9, No. 3, 303--323 (1988; Zbl 0664.93080) Full Text: DOI
Li, Y.; Wonham, W. M. On supervisory control of real-time discrete-event systems. (English) Zbl 0664.93063 Inf. Sci. 46, No. 3, 159-183 (1988). Reviewer: L.Bakule MSC: 93C99 68N25 68T20 68U20 93B50 PDFBibTeX XMLCite \textit{Y. Li} and \textit{W. M. Wonham}, Inf. Sci. 46, No. 3, 159--183 (1988; Zbl 0664.93063) Full Text: DOI
MacEwen, Glenn H.; Skillicorn, David B. Using higher-order logic for modular specification of real-time distributed systems. (English) Zbl 0664.68028 Formal techniques in real-time and fault-tolerant systems, Proc. Symp., Warwick/UK 1988, Lect. Notes Comput. Sci. 331, 36-66 (1988). Reviewer: V.Alad’ev MSC: 68N25 68Q85 03B70 PDFBibTeX XML
Goswami, Asis; Joseph, Mathai Semantics of real-time distributed programs. (English) Zbl 0663.68020 Concurrency ’88, Proc. Int. Conf., Hamburg/FRG 1988, Lect. Notes Comput. Sci. 335, 292-306 (1988). MSC: 68Q60 68N25 PDFBibTeX XML
Seiferas, Joel I.; Vitányi, Paul M. B. Counting is easy. (English) Zbl 0662.68048 J. Assoc. Comput. Mach. 35, No. 4, 985-1000 (1988). MSC: 68Q05 PDFBibTeX XMLCite \textit{J. I. Seiferas} and \textit{P. M. B. Vitányi}, J. Assoc. Comput. Mach. 35, No. 4, 985--1000 (1988; Zbl 0662.68048) Full Text: DOI
Hromkovič, Juraj; Pardubská, Dana Some complexity aspects of VLSI computations. IV: VLSI circuits with programs. (English) Zbl 0659.68063 Comput. Artif. Intell. 7, No. 6, 481-495 (1988). Reviewer: J.Hromkovič MSC: 68Q25 94C10 68Q45 68Q05 PDFBibTeX XMLCite \textit{J. Hromkovič} and \textit{D. Pardubská}, Comput. Artif. Intell. 7, No. 6, 481--495 (1988; Zbl 0659.68063)
Brassard, Gilles; Kannan, Sampath The generation of random permutations on the fly. (English) Zbl 0658.68089 Inf. Process. Lett. 28, No. 4, 207-212 (1988). MSC: 68R99 68P05 PDFBibTeX XMLCite \textit{G. Brassard} and \textit{S. Kannan}, Inf. Process. Lett. 28, No. 4, 207--212 (1988; Zbl 0658.68089) Full Text: DOI
Liśkiewicz, Maciej; Loryś, Krzysztof Alternating real-time computations. (English) Zbl 0658.68056 Inf. Process. Lett. 28, No. 6, 311-316 (1988). MSC: 68Q05 68Q25 68Q45 PDFBibTeX XMLCite \textit{M. Liśkiewicz} and \textit{K. Loryś}, Inf. Process. Lett. 28, No. 6, 311--316 (1988; Zbl 0658.68056) Full Text: DOI
Menn, A. A. Distributed operating systems for computer control systems. (English. Russian original) Zbl 0654.93006 Autom. Remote Control 49, No. 1, 1-27 (1988); translation from Avtom. Telemekh. 1988, No. 1, 3-37 (1988). Reviewer: S.Patarinski MSC: 93A15 68N25 93-02 PDFBibTeX XMLCite \textit{A. A. Menn}, Autom. Remote Control 49, No. 1, 1--27 (1988; Zbl 0654.93006); translation from Avtom. Telemekh. 1988, No. 1, 3--37 (1988)
Bukov, V. N.; Khorvat, Ya. A comparative analysis of some algorithms for the identification of parameters of a linear dynamic object. (English) Zbl 0649.93077 Probl. Control Inf. Theory 17, No. 4, 239-251 (1988). MSC: 93E12 93C05 93E25 65C99 93E10 PDFBibTeX XMLCite \textit{V. N. Bukov} and \textit{Ya. Khorvat}, Probl. Control Inf. Theory 17, No. 4, 239--251 (1988; Zbl 0649.93077)
Datta, Ajoy K.; Ghosh, Sukumar; Harms, Douglas; Elmagarmid, Ahmed K. Deadlock-avoidance mechanisms in distributed systems. (English) Zbl 0647.68030 Comput. Syst. Sci. Eng. 3, No. 2, 67-82 (1988). MSC: 68N25 68Q85 PDFBibTeX XMLCite \textit{A. K. Datta} et al., Comput. Syst. Sci. Eng. 3, No. 2, 67--82 (1988; Zbl 0647.68030)
Huizing, C.; Gerth, R.; de Roever, W. P. Modelling Statecharts behaviour in a fully abstract way. (English) Zbl 0647.68018 Trees in algebra and programming, Proc. 13th Colloq. CAAP, Nancy/France 1988, Lect. Notes Comput. Sci. 299, 271-294 (1988). MSC: 68Q60 PDFBibTeX XML
Gács, Peter; Reif, John A simple three-dimensional real-time reliable cellular array. (English) Zbl 0646.68072 J. Comput. Syst. Sci. 36, No. 2, 125-147 (1988). MSC: 68Q80 68Q05 PDFBibTeX XMLCite \textit{P. Gács} and \textit{J. Reif}, J. Comput. Syst. Sci. 36, No. 2, 125--147 (1988; Zbl 0646.68072) Full Text: DOI
Ibarra, Oscar H.; Jiang, Tao Relating the power of cellular arrays to their closure properties. (English) Zbl 0646.68071 Theor. Comput. Sci. 57, No. 2-3, 225-238 (1988). MSC: 68Q80 68Q45 PDFBibTeX XMLCite \textit{O. H. Ibarra} and \textit{T. Jiang}, Theor. Comput. Sci. 57, No. 2--3, 225--238 (1988; Zbl 0646.68071) Full Text: DOI
Bebják, Andrej; Štefáneková, Ivana Relation between one-time-only branching programs and real-time branching programs. (English) Zbl 0646.68066 Comput. Artif. Intell. 7, No. 2, 107-111 (1988). MSC: 68Q25 68Q05 PDFBibTeX XMLCite \textit{A. Bebják} and \textit{I. Štefáneková}, Comput. Artif. Intell. 7, No. 2, 107--111 (1988; Zbl 0646.68066)
Petersen, E. R.; Taylor, A. J. An optimal scheduling system for the Welland canal. (English) Zbl 0645.90040 Transp. Sci. 22, No. 3, 173-198 (1988). MSC: 90B35 90C90 90C39 PDFBibTeX XMLCite \textit{E. R. Petersen} and \textit{A. J. Taylor}, Transp. Sci. 22, No. 3, 173--198 (1988; Zbl 0645.90040) Full Text: DOI
Reed, G. M.; Roscoe, A. W. Metric spaces as models for real-time concurrency. (English) Zbl 0644.68040 Mathematical foundations of programming language semantics, Proc. Workshop, New Orleans/La. 1987, Lect. Notes Comput. Sci. 298, 331-343 (1988). MSC: 68Q65 68N25 68Q60 PDFBibTeX XML
Tovey, Craig A.; Weiss, Gideon; Wilson, James R. Minimum spillage sequencing. (English) Zbl 0639.90053 Manage. Sci. 34, No. 3, 306-330 (1988). MSC: 90B35 90C10 65K05 PDFBibTeX XMLCite \textit{C. A. Tovey} et al., Manage. Sci. 34, No. 3, 306--330 (1988; Zbl 0639.90053) Full Text: DOI
Joseph, Mathai (ed.) Formal techniques in real-time and fault-tolerant systems. Proceedings of a symposium, Warwick, UK, September 22-23, 1988. (English) Zbl 0651.00017 Lecture Notes in Computer Science, 331. Berlin etc.: Springer-Verlag. vi, 229 p. DM 36.00 (1988). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{M. Joseph} (ed.), Formal techniques in real-time and fault-tolerant systems. Proceedings of a symposium, Warwick, UK, September 22-23, 1988. Berlin etc.: Springer-Verlag (1988; Zbl 0651.00017) Full Text: DOI
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W. An operational semantics for process algebra. (English) Zbl 0761.68054 Mathematical problems in computation theory, Proc. 26th semester, Warsaw/Poland 1985, Banach Cent. Publ. 21, 47-81 (1988). MSC: 68Q55 68Q85 68Q10 68Q05 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., Banach Cent. Publ. 21, 47--81 (1988; Zbl 0761.68054)