ACM Transactions on Programming Languages and Systems Short Title: ACM Trans. Program. Lang. Syst. Publisher: Association for Computing Machinery (ACM), New York, NY ISSN: 0164-0925 Online: http://www.acm.org/pubs/contents/journals/toplas/ Comments: Journal; No longer indexed Documents Indexed: 203 Publications (1979–1989) all top 5 Latest Issues 11, No. 1 (1989) 10, No. 4 (1988) 10, No. 3 (1988) 10, No. 2 (1988) 10, No. 1 (1988) 9 (1987) 8 (1986) 7 (1985) 6 (1984) 5 (1983) 4 (1982) 3 (1981) 2 (1980) 1 (1979) all top 5 Authors 5 Lamport, Leslie 5 Sharir, Micha 4 Apt, Krzysztof Rafal 4 Francez, Nissim 4 Misra, Jayadev 4 Schneider, Fred B. 4 Schwartz, Jacob Theodore 3 Arvind 3 Broy, Manfred 3 Constable, Robert Lee 3 Kieburtz, Richard B. 3 Peterson, Gary L. 3 Pingali, Keshav K. 3 Silberschatz, Abraham 2 Andrews, Gregory R. 2 Backhouse, Roland C. 2 Bernstein, Philip A. 2 Chandy, Kanianthra Mani 2 Clarke, Edmund Melson jun. 2 Demers, Alan J. 2 Dewar, Robert B. K. 2 Donahue, James E. 2 Gries, David 2 Griswold, Ralph E. 2 Hennessy, John LeRoy 2 Holt, Richard C. 2 Kennedy, Ken 2 LaLonde, Wilf R. 2 Lindstrom, Gary 2 Liskov, Barbara 2 Luckham, David C. 2 Manna, Zohar 2 Pepper, Peter 2 Pnueli, Amir 2 Rudolph, Larry 2 Schonberg, Edmond 2 Soisalon-Soininen, Eljas 2 Steensgaard-Madsen, Jorgen 2 Wortman, David B. 2 Yemini, Shaula A. 1 Allen, Randy 1 Alpern, Bowen 1 Anderson, S. O. 1 Anson, Ed 1 Appelbe, William F. 1 Ashcroft, Edward A. 1 Atkinson, Malcolm P. 1 Back, Ralph-Johan 1 Baker, Theodore P. 1 Banatre, Jean-Pierre 1 Banerjee, Debasish 1 Bar-On, Ilan 1 Barnden, John A. 1 Basili, Victor R. 1 Bates, Joseph L. 1 Ben-Ari, Mordechai 1 Bergeretti, Jean-François 1 Bergeron, Janick 1 Berry, Daniel M. 1 Beyer, Eric 1 Bic, Lubomir F. 1 Bird, Richard S. 1 Bobrow, Daniel G. 1 Boehm, Hans-Juergen 1 Bohm, Wim 1 Boom, H.-J. 1 Buckley, Gael N. 1 Budd, Timothy Alan 1 Buneman, Peter 1 Burton, F. Warren 1 Cameron, Robert D. 1 Carré, Bernard A. 1 Carson, Scott D. 1 Casanova, Marco Antonio 1 Chandy, Mani K. 1 Chang, Chun-Hyon 1 Chang, Chung-Kuo 1 Charlesworth, Arthur 1 Chirica, Laurian M. 1 Choe, Kwang-Moo 1 Clark, Douglas W. 1 Clark, Keith L. 1 Cohen, Norman H. 1 Colussi, Livio 1 Cordy, James R. 1 Cuny, Janice E. 1 de Bruin, Arie 1 Dekel, Eliezer 1 DeRemer, Franklin L. 1 Dershowitz, Nachum 1 Des Rivieres, Jim 1 Drechsler, Karl-Heinz 1 Dubuque, A. F. 1 Dunlop, Douglas D. 1 Emerson, Ernest Allen 1 Ernst, George W. 1 Feather, Martin S. 1 Ferrante, Jeanne 1 Fischer, Charles N. 1 Foulk, Clinton R. ...and 173 more Authors Fields 203 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 2 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 158 Publications have been cited 3,121 times in 2,619 Documents Cited by ▼ Year ▼ Automatic verification of finite-state concurrent systems using temporal logic specifications. Zbl 0591.68027 Clarke, E. M.; Emerson, E. A.; Sistla, A. P. 314 1986 The Byzantine generals problem. Zbl 0483.68021 Lamport, Leslie; Shostak, Robert; Pease, Marshall 259 1982 An efficient unification algorithm. Zbl 0478.68093 Martelli, Alberto; Montanari, Ugo 169 1982 Simplification by cooperating decision procedures. Zbl 0452.68013 Nelson, Greg; Oppen, Derek C. 158 1979 A distributed algorithm for minimum-weight spanning trees. Zbl 0498.68040 Gallager, R. G.; Humblet, P. A.; Spira, P. M. 96 1983 Ten years of Hoare’s logic: A survey - Part 1. Zbl 0471.68006 Apt, Krzysztof R. 95 1981 Generative communication in Linda. Zbl 0559.68030 Gelernter, David 77 1985 Proving liveness properties of concurrent programs. Zbl 0483.68013 Owicki, Susan; Lamport, Leslie 72 1982 Tentative steps toward a development method for interfering programs. Zbl 0517.68032 Jones, C. B. 68 1983 A proof system for communicating sequential processes. Zbl 0468.68023 Apt, Krzysztof R.; Francez, Nissim; De Roever, Willem P. 55 1980 A deductive approach to program synthesis. Zbl 0468.68009 Manna, Zohar; Waldinger, Richard 48 1980 The program dependence graph and its use in optimization. Zbl 0623.68012 Ferrante, Jeanne; Ottenstein, Karl J.; Warren, Joe D. 47 1987 On O(n log n) unidirectional algorithm for the circular extrema problem. Zbl 0489.68040 Peterson, Gary L. 44 1982 Synthesis of communicating processes from temporal logic specifications. Zbl 0522.68030 Manna, Zohar; Wolper, Pierre 42 1984 PARLOG: Parallel programming in logic. Zbl 0592.68016 Clark, Keith; Gregory, Steve 41 1986 The specification statement. Zbl 0825.68302 Morgan, Carroll 40 1988 Specifying concurrent program modules. Zbl 0516.68010 Lamport, Leslie 39 1983 Ultracomputers. Zbl 0468.68027 Schwartz, J. T. 39 1980 The concept of a supercompiler. Zbl 0598.68016 Turchin, Valentin F. 39 1986 Termination of probabilistic concurrent programs. Zbl 0511.68009 Hart, Sergiu; Sharir, Micha; Pnueli, Amir 38 1983 A fast algorithm for finding dominators in a flowgraph. Zbl 0449.68024 Lengauer, Thomas; Tarjan, Robert Endre 38 1979 Data type specification: Parameterization and the power of specification techniques. Zbl 0495.68020 Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 37 1982 Multilisp: A language for concurrent symbolic computation. Zbl 0581.68037 Halstead, Robert H. jun. 31 1985 Distributed cooperation with action systems. Zbl 0663.68028 Back, R. J. R.; Kurki-Suonio, R. 24 1988 Programming with equations. Zbl 0481.68008 Hoffmann, Christoph M.; O’Donnell, Michael J. 21 1982 Efficient computation of LALR(1) look-ahead sets. Zbl 0489.68074 DeRemer, Frank; Pennello, Thomas 20 1982 CIRCAL and the representation of communication, concurrency, and time. Zbl 0562.68017 Milne, George J. 20 1985 Automatic translation of FORTRAN programs to vector form. Zbl 0631.68019 Allen, Randy; Kennedy, Ken 18 1987 Parameterized specifications: Parameter passing and imlementation with respect to observability. Zbl 0511.68010 Ganzinger, Harald 18 1983 Optimal parallel generation of a computation tree form. Zbl 0564.68037 Bar-on, Ilan; Vishkin, Uzi 18 1985 Axioms for memory access in asynchronous hardware systems. Zbl 0593.68017 Misra, J. 18 1986 Concurrent reading while writing. Zbl 0498.68010 Peterson, Gary L. 17 1983 Distributed termination. Zbl 0468.68025 Francez, Nissim 17 1980 An effective implementation for the generalized input-output construct of CSP. Zbl 0516.68026 Buckley, G. N.; Silberschatz, A. 16 1983 An improved context-free recognizer. Zbl 0461.68084 Graham, Susan L.; Harrison, Michael A.; Ruzzo, Walter L. 16 1980 Deriving target code as a representation of continuation semantics. Zbl 0483.68070 Wand, Mitchell 15 1982 Distributed algorithms for finding centers and medians in networks. Zbl 0543.68051 Korach, E.; Rotem, D.; Santoro, N. 15 1984 An axiomatic approach to information flow in programs. Zbl 0468.68034 Andrews, Gregory R.; Reitman, Richard P. 15 1980 Finite differencing of computable expressions. Zbl 0484.68009 Paige, Robert; Koenig, Shaye 14 1982 Finaly data types and their specification. Zbl 0498.68008 Kamin, Samuel 14 1983 On the algebraic definition of programming languages. Zbl 0627.68009 Broy, Manfred; Wirsing, Martin; Pepper, Peter 13 1987 A new analysis of LALR formalisms. Zbl 0549.68083 Park, Joseph C. H.; Choe, K. M.; Chang, C. H. 13 1985 Proofs as programs. Zbl 0555.68003 Bates, Joseph L.; Constable, Robert L. 13 1985 Verifying temporal properties without temporal logic. Zbl 0676.68003 Alpern, Bowen; Schneider, Fred B. 12 1989 The ”Hoare logic” of CSP, and all that. Zbl 0536.68017 Lamport, Leslie; Schneider, Fred B. 12 1984 The promotion and accumulation strategies in transformational programming. Zbl 0542.68006 Bird, R. S. 12 1984 Axiomatic semantics of communicating sequential processes. Zbl 0542.68013 Soundararajan, N. 12 1984 Assignment and procedure call proof rules. Zbl 0468.68006 Gries, David; Levin, Gary 11 1980 Efficient synchronization on multiprocessors with shared memory. Zbl 0663.68011 Kruskal, Clyde P.; Rudolph, Larry; Snir, Marc 10 1988 Director strings as combinators. Zbl 0669.68013 Kennaway, Richard; Sleep, Ronan 10 1988 On the construction of submodule specifications and communication protocols. Zbl 0498.68009 Merlin, Philip; Bochmann, Gregor V. 10 1983 Program transformations in a denotational setting. Zbl 0566.68013 Nielson, Flemming 10 1985 A distributed graph algorithm: Knot detection. Zbl 0489.68061 Misra, J.; Chandy, K. M. 9 1982 A weaker precondition for loops. Zbl 0492.68014 Boom, H. J. 9 1982 Basic techniques for the efficient coordination of very large numbers of cooperating sequential processors. Zbl 0511.68012 Gottlieb, Allan; Lubachevsky, B. D.; Rudolph, Larry 9 1983 Guardians and actions: Linguistic support for robust, distributed programs. Zbl 0512.68027 Liskov, Barbara; Scheifler, Robert 9 1983 A mathematical approach to nondeterminism in data types. Zbl 0825.68330 Hesselink, Wim H. 9 1988 A formal approach to Undo operations in programming languages. Zbl 0592.68015 Leeman, George B. jun. 9 1986 A new approach to proving the correctness of multiprocess programs. Zbl 0463.68022 Lamport, Leslie 9 1979 Methods for computing LALR(k) lookahead. Zbl 0454.68100 Kristensen, Bent Bruun; Madsen, Ole Lehrmann 8 1981 Algorithmic specificatons: A constitutive specification method for abstract data types. Zbl 0631.68020 Loeckx, Jacques 7 1987 A system for assisting program transformation. Zbl 0479.68014 Feather, Martin S. 7 1982 A new solution to Lamport’s concurrent programming problem using small shared variables. Zbl 0498.68011 Peterson, Gary L. 7 1983 The type theory of PL/CV3. Zbl 0522.68020 Constable, Robert L.; Zlatin, Daniel R. 7 1984 Algorithms for on-the-fly garbage collection. Zbl 0536.68030 Ben-Ari, Mordechai 7 1984 Detecting global variables in denotational specifications. Zbl 0562.68008 Schmidt, David A. 7 1985 Proving liveness for networks of communicating finite state machines. Zbl 0593.68016 Gouda, Mohamed G.; Chang, Chung-Kuo 7 1986 A language for array and vector processors. Zbl 0449.68004 Perrott, R. H. 7 1979 Verification of array, record, and pointer operations in Pascal. Zbl 0452.68014 Luckham, David C.; Suzuki, Norihisa 7 1979 The multiway rendezvous. Zbl 0623.68024 Charlesworth, Arthur 7 1987 Writing Larch interface language specifications. Zbl 0627.68014 Wing, Jeannette M. 6 1987 The geometry of semaphore programs. Zbl 0627.68022 Carson, Scott D.; Reynolds, Paul F. jun. 6 1987 Postpass code optimization of pipeline constraints. Zbl 0525.68020 Hennessy, John; Gross, Thomas 6 1983 Eliminating redundant recursive calls. Zbl 0526.68004 Cohen, Norman H. 6 1983 Information-flow and data-flow analysis of while-programs. Zbl 0559.68014 Bergeretti, Jean-François; Carré, Bernard A. 6 1985 Specifying the semantics of while programs: a tutorial and critique of a paper by Hoare and Lauer. Zbl 0471.68007 Greif, Irene; Meyer, Albert R. 6 1981 An example of stepwise refinement of distributed programs: quiescence detection. Zbl 0598.68031 Chandy, Mani; Misra, Jayadev 6 1986 Analysis of functional programs to detect run-time garbage cells. Zbl 0663.68021 Inoue, Katsuro; Seki, Hiroyuki; Yagi, Hikaru 5 1988 Scheduling expressions on a pipelined processor with a maximal delay of one cycle. Zbl 0666.68028 Bernstein, David; Gertner, Izidor 5 1989 R for semantics. Zbl 0478.68083 Ashcroft, E. A.; Wadge, W. W. 5 1982 On the development of the algebra of functional programs. Zbl 0492.68018 Williams, John H. 5 1982 Control flow aspects of semantics-directed compiling. Zbl 0517.68046 Sethi, Ravi 5 1983 Real-time synchronization of interprocess communications. Zbl 0536.68021 Reif, John H.; Spirakis, Paul G. 5 1984 Some techniques for recursion removal from recursive functions. Zbl 0547.68009 Arsac, J.; Kodratoff, Y. 5 1982 Side effects and aliasing can have simple axiomatic descriptions. Zbl 0575.68011 Boehm, Hans-Juergen 5 1985 Proving systolic systems correct. Zbl 0598.68030 Hennessy, Matthew 5 1986 Correctnss proofs of distributed termination algorithms. Zbl 0599.68017 Apt, Krzysztof R. 5 1986 Termination detection of diffusing computations in communicating sequential processes. Zbl 0479.68025 Misra, Jayadev; Chandy, K. M. 4 1982 Some observations concerning formal differentiation of set theoretic expressions. Zbl 0481.68005 Sharir, Micha 4 1982 Assessing test data adequacy through program inference. Zbl 0517.68031 Weyuker, Elaine J. 4 1983 Parallel generation of postfix and tree forms. Zbl 0525.68017 Dekel, Eliezer; Sahni, Sartaj 4 1983 Annotations to control parallelism and reduction order in the distributed evaluation of functional programs. Zbl 0536.68022 Burton, F. Warren 4 1984 Using message passing for distributed programming: Proof rules and disciplines. Zbl 0536.68023 Schlichting, Richard D.; Schneider, Fred B. 4 1984 Translation of attribute grammars into procedures. Zbl 0554.68014 Katayama, Takuya 4 1984 Synthesis of resource invariants for concurrent programs. Zbl 0468.68024 Clarke, Edmund Melson jun. 4 1980 Toward compiler implementation correctness proofs. Zbl 0591.68014 Chirica, Laurian M.; Martin, David F. 4 1986 Noncanonical SLR(1) grammars. Zbl 0449.68045 Tai, Kuo-Chung 4 1979 Incremental parsing. Zbl 0449.68046 Ghezzi, Carlo; Mandrioli, Dino 4 1979 An automatic technique for selection of data representations in SETL programs. Zbl 0452.68010 Schonberg, Edmond; Schwartz, Jacob T.; Sharir, Micha 4 1981 Programming by refinement, as exemplified by the SETL representation sublanguage. Zbl 0463.68014 Dewar, Robert B. K.; Grand, Arthur; Liu, Ssu-Cheng; Schwartz, Jacob T.; Schonberg, Edmond 4 1979 Verifying temporal properties without temporal logic. Zbl 0676.68003 Alpern, Bowen; Schneider, Fred B. 12 1989 Scheduling expressions on a pipelined processor with a maximal delay of one cycle. Zbl 0666.68028 Bernstein, David; Gertner, Izidor 5 1989 Typed representation of objects by functions. Zbl 0669.68014 Steensgaard-Madsen, J. 3 1989 The specification statement. Zbl 0825.68302 Morgan, Carroll 40 1988 Distributed cooperation with action systems. Zbl 0663.68028 Back, R. J. R.; Kurki-Suonio, R. 24 1988 Efficient synchronization on multiprocessors with shared memory. Zbl 0663.68011 Kruskal, Clyde P.; Rudolph, Larry; Snir, Marc 10 1988 Director strings as combinators. Zbl 0669.68013 Kennaway, Richard; Sleep, Ronan 10 1988 A mathematical approach to nondeterminism in data types. Zbl 0825.68330 Hesselink, Wim H. 9 1988 Analysis of functional programs to detect run-time garbage cells. Zbl 0663.68021 Inoue, Katsuro; Seki, Hiroyuki; Yagi, Hikaru 5 1988 A solution to a problem with Morel and Revoise’s “Global optimization by suppression of partial redundancies”. Zbl 0663.68026 Drechsler, Karl-Heinz; Stadel, Manfred P. 2 1988 Type extensions. Zbl 0664.68024 Wirth, N. 2 1988 A note on the drinking philosophers problem. Zbl 0652.68022 Murphy, Sandra L.; Shankar, A. Udaya 1 1988 The program dependence graph and its use in optimization. Zbl 0623.68012 Ferrante, Jeanne; Ottenstein, Karl J.; Warren, Joe D. 47 1987 Automatic translation of FORTRAN programs to vector form. Zbl 0631.68019 Allen, Randy; Kennedy, Ken 18 1987 On the algebraic definition of programming languages. Zbl 0627.68009 Broy, Manfred; Wirsing, Martin; Pepper, Peter 13 1987 Algorithmic specificatons: A constitutive specification method for abstract data types. Zbl 0631.68020 Loeckx, Jacques 7 1987 The multiway rendezvous. Zbl 0623.68024 Charlesworth, Arthur 7 1987 Writing Larch interface language specifications. Zbl 0627.68014 Wing, Jeannette M. 6 1987 The geometry of semaphore programs. Zbl 0627.68022 Carson, Scott D.; Reynolds, Paul F. jun. 6 1987 Embedding continuations in procedural objects. Zbl 0631.68006 Haynes, Christopher T.; Friedman, Daniel P. 3 1987 Sublinear-space evaluation algorithms for attribute grammars. Zbl 0633.68005 Reps, Thomas; Demers, Alan 1 1987 An axiomatic treatment of exception handling in an expression-oriented language. Zbl 0623.68010 Yemini, Shaula; Berry, Daniel M. 1 1987 A methodology for snythesis of recursive functional programs. Zbl 0623.68013 Banerjee, Debasish 1 1987 Automatic verification of finite-state concurrent systems using temporal logic specifications. Zbl 0591.68027 Clarke, E. M.; Emerson, E. A.; Sistla, A. P. 314 1986 PARLOG: Parallel programming in logic. Zbl 0592.68016 Clark, Keith; Gregory, Steve 41 1986 The concept of a supercompiler. Zbl 0598.68016 Turchin, Valentin F. 39 1986 Axioms for memory access in asynchronous hardware systems. Zbl 0593.68017 Misra, J. 18 1986 A formal approach to Undo operations in programming languages. Zbl 0592.68015 Leeman, George B. jun. 9 1986 Proving liveness for networks of communicating finite state machines. Zbl 0593.68016 Gouda, Mohamed G.; Chang, Chung-Kuo 7 1986 An example of stepwise refinement of distributed programs: quiescence detection. Zbl 0598.68031 Chandy, Mani; Misra, Jayadev 6 1986 Proving systolic systems correct. Zbl 0598.68030 Hennessy, Matthew 5 1986 Correctnss proofs of distributed termination algorithms. Zbl 0599.68017 Apt, Krzysztof R. 5 1986 Toward compiler implementation correctness proofs. Zbl 0591.68014 Chirica, Laurian M.; Martin, David F. 4 1986 Efficient demand-driven evaluation. II. Zbl 0596.68024 Pingali, Keshav; Arvind 2 1986 Generative communication in Linda. Zbl 0559.68030 Gelernter, David 77 1985 Multilisp: A language for concurrent symbolic computation. Zbl 0581.68037 Halstead, Robert H. jun. 31 1985 CIRCAL and the representation of communication, concurrency, and time. Zbl 0562.68017 Milne, George J. 20 1985 Optimal parallel generation of a computation tree form. Zbl 0564.68037 Bar-on, Ilan; Vishkin, Uzi 18 1985 A new analysis of LALR formalisms. Zbl 0549.68083 Park, Joseph C. H.; Choe, K. M.; Chang, C. H. 13 1985 Proofs as programs. Zbl 0555.68003 Bates, Joseph L.; Constable, Robert L. 13 1985 Program transformations in a denotational setting. Zbl 0566.68013 Nielson, Flemming 10 1985 Detecting global variables in denotational specifications. Zbl 0562.68008 Schmidt, David A. 7 1985 Information-flow and data-flow analysis of while-programs. Zbl 0559.68014 Bergeretti, Jean-François; Carré, Bernard A. 6 1985 Side effects and aliasing can have simple axiomatic descriptions. Zbl 0575.68011 Boehm, Hans-Juergen 5 1985 Optimal prepaging and font caching. Zbl 0559.68047 Fuchs, David R.; Knuth, Donald E. 3 1985 The denotational semantics of dynamic networks of processes. Zbl 0577.68041 De Bruin, Arie; Böhm, Wim 3 1985 Generalizing specifications for uniformly implemented loops. Zbl 0559.68003 Dunlop, Douglas D.; Basili, Victor R. 2 1985 Editing by example. Zbl 0578.68081 Nix, Robert P. 2 1985 Noncorrecting syntax error recovery. Zbl 0604.68099 Richter, Helmut 2 1985 Efficient demand-driven evaluation. I. Zbl 0562.68006 Pingali, Keshav; Arvind 1 1985 Data types are values. Zbl 0566.68016 Donahue, James; Demers, Alan 1 1985 Symmetric intertask communication. Zbl 0575.68024 Francez, Nissim; Yemini, Shaula A. 1 1985 Synthesis of communicating processes from temporal logic specifications. Zbl 0522.68030 Manna, Zohar; Wolper, Pierre 42 1984 Distributed algorithms for finding centers and medians in networks. Zbl 0543.68051 Korach, E.; Rotem, D.; Santoro, N. 15 1984 The ”Hoare logic” of CSP, and all that. Zbl 0536.68017 Lamport, Leslie; Schneider, Fred B. 12 1984 The promotion and accumulation strategies in transformational programming. Zbl 0542.68006 Bird, R. S. 12 1984 Axiomatic semantics of communicating sequential processes. Zbl 0542.68013 Soundararajan, N. 12 1984 The type theory of PL/CV3. Zbl 0522.68020 Constable, Robert L.; Zlatin, Daniel R. 7 1984 Algorithms for on-the-fly garbage collection. Zbl 0536.68030 Ben-Ari, Mordechai 7 1984 Real-time synchronization of interprocess communications. Zbl 0536.68021 Reif, John H.; Spirakis, Paul G. 5 1984 Annotations to control parallelism and reduction order in the distributed evaluation of functional programs. Zbl 0536.68022 Burton, F. Warren 4 1984 Using message passing for distributed programming: Proof rules and disciplines. Zbl 0536.68023 Schlichting, Richard D.; Schneider, Fred B. 4 1984 Translation of attribute grammars into procedures. Zbl 0554.68014 Katayama, Takuya 4 1984 Modeling the distributed termination convention of CSP. Zbl 0536.68018 Apt, Krzysztof R.; Francez, Nissim 3 1984 Recursion as an effective step in program development. Zbl 0522.68016 Colussi, L. 1 1984 Proving failure-free properties of concurrent systems using temporal logic. Zbl 0536.68015 Karp, Richard Alan 1 1984 An APL compiler for a vector processor. Zbl 0536.68028 Budd, Timothy A. 1 1984 Selective and locally controlled transport of privileges. Zbl 0547.68033 Minsky, Naftaly H. 1 1984 Transformations and reduction strategies for typed lambda expressions. Zbl 0555.68007 Georgeff, Michael 1 1984 A distributed algorithm for minimum-weight spanning trees. Zbl 0498.68040 Gallager, R. G.; Humblet, P. A.; Spira, P. M. 96 1983 Tentative steps toward a development method for interfering programs. Zbl 0517.68032 Jones, C. B. 68 1983 Specifying concurrent program modules. Zbl 0516.68010 Lamport, Leslie 39 1983 Termination of probabilistic concurrent programs. Zbl 0511.68009 Hart, Sergiu; Sharir, Micha; Pnueli, Amir 38 1983 Parameterized specifications: Parameter passing and imlementation with respect to observability. Zbl 0511.68010 Ganzinger, Harald 18 1983 Concurrent reading while writing. Zbl 0498.68010 Peterson, Gary L. 17 1983 An effective implementation for the generalized input-output construct of CSP. Zbl 0516.68026 Buckley, G. N.; Silberschatz, A. 16 1983 Finaly data types and their specification. Zbl 0498.68008 Kamin, Samuel 14 1983 On the construction of submodule specifications and communication protocols. Zbl 0498.68009 Merlin, Philip; Bochmann, Gregor V. 10 1983 Basic techniques for the efficient coordination of very large numbers of cooperating sequential processors. Zbl 0511.68012 Gottlieb, Allan; Lubachevsky, B. D.; Rudolph, Larry 9 1983 Guardians and actions: Linguistic support for robust, distributed programs. Zbl 0512.68027 Liskov, Barbara; Scheifler, Robert 9 1983 A new solution to Lamport’s concurrent programming problem using small shared variables. Zbl 0498.68011 Peterson, Gary L. 7 1983 Postpass code optimization of pipeline constraints. Zbl 0525.68020 Hennessy, John; Gross, Thomas 6 1983 Eliminating redundant recursive calls. Zbl 0526.68004 Cohen, Norman H. 6 1983 Control flow aspects of semantics-directed compiling. Zbl 0517.68046 Sethi, Ravi 5 1983 Assessing test data adequacy through program inference. Zbl 0517.68031 Weyuker, Elaine J. 4 1983 Parallel generation of postfix and tree forms. Zbl 0525.68017 Dekel, Eliezer; Sahni, Sartaj 4 1983 Correctness proofs of communicating processes: Three illustrative examples from the literature. Zbl 0517.68054 Ossefort, Marty 3 1983 A syntax-error-handling technique and its experimental analysis. Zbl 0527.68058 Sippu, Seppo; Soisalon-Soininen, Eljas 3 1983 Experience with the SETL optimizer. Zbl 0498.68007 Freudenberger, Stefan M.; Schwartz, Jacob T.; Sharir, Micha 2 1983 Generation of compiler symbol processing mechanisms from specifications. Zbl 0516.68029 Reiss, Steven P. 1 1983 A formal framework for the derivation of machine-specific optimizers. Zbl 0526.68024 Giegerich, Robert 1 1983 The Byzantine generals problem. Zbl 0483.68021 Lamport, Leslie; Shostak, Robert; Pease, Marshall 259 1982 An efficient unification algorithm. Zbl 0478.68093 Martelli, Alberto; Montanari, Ugo 169 1982 Proving liveness properties of concurrent programs. Zbl 0483.68013 Owicki, Susan; Lamport, Leslie 72 1982 On O(n log n) unidirectional algorithm for the circular extrema problem. Zbl 0489.68040 Peterson, Gary L. 44 1982 Data type specification: Parameterization and the power of specification techniques. Zbl 0495.68020 Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 37 1982 Programming with equations. Zbl 0481.68008 Hoffmann, Christoph M.; O’Donnell, Michael J. 21 1982 Efficient computation of LALR(1) look-ahead sets. Zbl 0489.68074 DeRemer, Frank; Pennello, Thomas 20 1982 Deriving target code as a representation of continuation semantics. Zbl 0483.68070 Wand, Mitchell 15 1982 Finite differencing of computable expressions. Zbl 0484.68009 Paige, Robert; Koenig, Shaye 14 1982 ...and 58 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,854 Authors 22 Vardi, Moshe Ya’akov 20 Raynal, Michel 19 Meseguer Guaita, José 15 Kupferman, Orna 15 Tinelli, Cesare 13 Baier, Christel 13 Barrett, Clark W. 13 Ghilardi, Silvio 12 Bergstra, Jan A. 12 Cohen, Ran 12 Owe, Olaf 12 Ringeissen, Christophe 11 de Boer, Frank S. 10 De Nicola, Rocco 10 Fontaine, Pascal 10 Glück, Robert 10 Hayes, Ian J. 10 Hesselink, Wim H. 10 Pelc, Andrzej 10 Pnueli, Amir 10 Zavattaro, Gianluigi 9 Bonacina, Maria Paola 9 Choe, Kwang-Moo 9 Clarke, Edmund Melson jun. 9 De Schreye, Danny 9 Duan, Zhenhua 9 Francez, Nissim 9 Garay, Juan A. 9 Grumberg, Orna 9 Guerraoui, Rachid 9 Halpern, Joseph Yehuda 9 Johnsen, Einar Broch 9 Peleg, David 9 Pettorossi, Alberto 9 Pugliese, Rosario 9 Ranise, Silvio 9 Sannella, Donald T. 9 Santoro, Nicola 9 Silva, Josep 9 Tarlecki, Andrzej 9 Vidal, Germán 8 Cimatti, Alessandro 8 Hermenegildo, Manuel V. 8 Kwiatkowska, Marta Z. 8 Lynch, Nancy Ann 8 Masuzawa, Toshimitsu 8 Peled, Doron A. 8 Reynolds, Andrew 8 Schmidt-Schauß, Manfred 8 Tian, Cong 8 Zhang, Nan 7 Abdulla, Parosh Aziz 7 Apt, Krzysztof Rafal 7 Bruttomesso, Roberto 7 Busi, Nadia 7 Colvin, Robert J. 7 Fauconnier, Hugues 7 Fraigniaud, Pierre 7 Georgiadis, Loukas 7 Gnesi, Stefania 7 Gorla, Daniele 7 Henzinger, Thomas A. 7 Herlihy, Maurice P. 7 Hoare, C. A. R. Tony 7 Kutten, Shay 7 Morgan, Carroll C. 7 Nielson, Flemming 7 Proietti, Maurizio 7 Roşu, Grigore 7 Talcott, Carolyn L. 6 Baader, Franz 6 Back, Ralph-Johan 6 Damiani, Ferruccio 6 Delporte-Gallet, Carole 6 Dolev, Shlomi 6 Dovland, Johan 6 Gianola, Alessandro 6 Gurfinkel, Arie 6 Harman, Mark 6 Hennicker, Rolf 6 Iranzo, Pascual Julián 6 Jagannathan, Suresh 6 Jamroga, Wojciech 6 Jonsson, Bengt 6 Kapur, Deepak 6 Katz, Shmuel 6 Korman, Amos 6 Kranakis, Evangelos Konstantinou 6 Kryvyi, Serhiĭ L. 6 Lamport, Leslie 6 Leuschel, Michael 6 Levi, Giorgio 6 Möller, Bernhard 6 Neiger, Gil 6 Olderog, Ernst-Rüdiger 6 Pandurangan, Gopal 6 Penczek, Wojciech 6 Pichardie, David 6 Rytter, Wojciech 6 Sheng, Ying ...and 3,754 more Authors all top 5 Cited in 190 Journals 381 Theoretical Computer Science 120 Formal Aspects of Computing 119 Information Processing Letters 114 Distributed Computing 104 Information and Computation 84 Acta Informatica 58 Journal of Automated Reasoning 58 Formal Methods in System Design 55 Journal of Computer and System Sciences 49 Journal of Functional Programming 43 Journal of Symbolic Computation 38 Theory and Practice of Logic Programming 36 MSCS. Mathematical Structures in Computer Science 33 International Journal of Parallel Programming 32 Science of Computer Programming 29 The Journal of Logic and Algebraic Programming 27 Artificial Intelligence 27 International Journal of Foundations of Computer Science 26 Higher-Order and Symbolic Computation 26 Journal of Logical and Algebraic Methods in Programming 24 Algorithmica 22 Information Sciences 22 New Generation Computing 18 Annals of Mathematics and Artificial Intelligence 16 Journal of Computer Science and Technology 16 International Journal of Computer Mathematics 14 BIT 13 ACM Transactions on Computational Logic 12 Journal of Cryptology 12 Cybernetics and Systems Analysis 12 Logical Methods in Computer Science 11 RAIRO. Informatique Théorique et Applications 10 Automatica 10 Programming and Computer Software 10 Annals of Pure and Applied Logic 10 Journal of Parallel and Distributed Computing 10 Computer Languages, Systems & Structures 8 Discrete Applied Mathematics 8 Mathematical Systems Theory 8 Theory of Computing Systems 7 Journal of Applied Non-Classical Logics 7 Constraints 7 Computer Science Review 6 Computing 6 The Journal of Symbolic Logic 6 Software. Practice & Experience 6 International Journal of Approximate Reasoning 6 Sādhanā 5 Fuzzy Sets and Systems 5 SIAM Journal on Computing 5 Studia Logica 5 Real-Time Systems 5 Discrete Event Dynamic Systems 5 Applicable Algebra in Engineering, Communication and Computing 5 Diagrammes 5 Parallel Algorithms and Applications 5 Parallel Processing Letters 4 Computers & Mathematics with Applications 4 International Journal of Theoretical Physics 4 Applied Mathematics and Computation 4 Computers & Operations Research 4 The Bulletin of Symbolic Logic 4 European Journal of Control 4 Journal of Combinatorial Optimization 4 Concurrency and Computation: Practice & Experience 4 Journal of Applied Logic 3 International Journal of Control 3 International Journal of Computer & Information Sciences 3 Networks 3 Machine Learning 3 Concurrency: Practice and Experience 3 Automation and Remote Control 3 European Journal of Operational Research 3 Fundamenta Informaticae 3 Journal of Discrete Algorithms 3 Science China. Information Sciences 3 Frontiers of Computer Science 2 ACM Transactions on Mathematical Software 2 Journal of Philosophical Logic 2 Kybernetes 2 Kybernetika 2 Linguistics and Philosophy 2 Notre Dame Journal of Formal Logic 2 SIAM Journal on Control and Optimization 2 Siberian Mathematical Journal 2 Synthese 2 Cybernetics 2 Systems & Control Letters 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 International Journal of Computational Geometry & Applications 2 The Journal of Supercomputing 2 Journal of Mathematical Sciences (New York) 2 Journal of Scheduling 2 Journal of the ACM 2 Wuhan University Journal of Natural Sciences (WUJNS) 2 New Journal of Physics 2 International Journal of Applied Mathematics and Computer Science 2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 2 Quantum Information Processing 2 International Journal of Parallel, Emergent and Distributed Systems ...and 90 more Journals all top 5 Cited in 33 Fields 2,431 Computer science (68-XX) 517 Mathematical logic and foundations (03-XX) 89 Information and communication theory, circuits (94-XX) 66 Combinatorics (05-XX) 64 Operations research, mathematical programming (90-XX) 41 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 36 Systems theory; control (93-XX) 32 Numerical analysis (65-XX) 27 Category theory; homological algebra (18-XX) 17 Biology and other natural sciences (92-XX) 15 General algebraic systems (08-XX) 15 Quantum theory (81-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 12 Number theory (11-XX) 11 History and biography (01-XX) 9 Probability theory and stochastic processes (60-XX) 5 Group theory and generalizations (20-XX) 5 Statistics (62-XX) 3 General and overarching topics; collections (00-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Algebraic topology (55-XX) 3 Mathematics education (97-XX) 2 Field theory and polynomials (12-XX) 2 Ordinary differential equations (34-XX) 2 Partial differential equations (35-XX) 2 General topology (54-XX) 1 Algebraic geometry (14-XX) 1 Real functions (26-XX) 1 Convex and discrete geometry (52-XX) 1 Differential geometry (53-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) Citations by Year