×

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

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

Publications by Year

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 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

Citations by Year