×

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 172 more Authors

Publications by Year

Citations contained in zbMATH Open

161 Publications have been cited 2,778 times in 2,382 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.
323
1986
The Byzantine generals problem. Zbl 0483.68021
Lamport, Leslie; Shostak, Robert; Pease, Marshall
272
1982
An efficient unification algorithm. Zbl 0478.68093
Martelli, Alberto; Montanari, Ugo
172
1982
Simplification by cooperating decision procedures. Zbl 0452.68013
Nelson, Greg; Oppen, Derek C.
162
1979
A distributed algorithm for minimum-weight spanning trees. Zbl 0498.68040
Gallager, R. G.; Humblet, P. A.; Spira, P. M.
103
1983
Ten years of Hoare’s logic: A survey - Part 1. Zbl 0471.68006
Apt, Krzysztof R.
96
1981
Generative communication in Linda. Zbl 0559.68030
Gelernter, David
78
1985
Proving liveness properties of concurrent programs. Zbl 0483.68013
Owicki, Susan; Lamport, Leslie
77
1982
Tentative steps toward a development method for interfering programs. Zbl 0517.68032
Jones, C. B.
69
1983
A proof system for communicating sequential processes. Zbl 0468.68023
Apt, Krzysztof R.; Francez, Nissim; De Roever, Willem P.
59
1980
A deductive approach to program synthesis. Zbl 0468.68009
Manna, Zohar; Waldinger, Richard
49
1980
The program dependence graph and its use in optimization. Zbl 0623.68012
Ferrante, Jeanne; Ottenstein, Karl J.; Warren, Joe D.
49
1987
On O(n log n) unidirectional algorithm for the circular extrema problem. Zbl 0489.68040
Peterson, Gary L.
46
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
41
1988
Specifying concurrent program modules. Zbl 0516.68010
Lamport, Leslie
40
1983
The concept of a supercompiler. Zbl 0598.68016
Turchin, Valentin F.
39
1986
A fast algorithm for finding dominators in a flowgraph. Zbl 0449.68024
Lengauer, Thomas; Tarjan, Robert Endre
39
1979
Ultracomputers. Zbl 0468.68027
Schwartz, J. T.
39
1980
Termination of probabilistic concurrent programs. Zbl 0511.68009
Hart, Sergiu; Sharir, Micha; Pnueli, Amir
38
1983
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.
33
1985
Distributed cooperation with action systems. Zbl 0663.68028
Back, R. J. R.; Kurki-Suonio, R.
24
1988
CIRCAL and the representation of communication, concurrency, and time. Zbl 0562.68017
Milne, George J.
23
1985
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
Automatic translation of FORTRAN programs to vector form. Zbl 0631.68019
Allen, Randy; Kennedy, Ken
19
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
Distributed termination. Zbl 0468.68025
Francez, Nissim
18
1980
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
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
An axiomatic approach to information flow in programs. Zbl 0468.68034
Andrews, Gregory R.; Reitman, Richard P.
15
1980
Distributed algorithms for finding centers and medians in networks. Zbl 0543.68051
Korach, E.; Rotem, D.; Santoro, N.
15
1984
Finite differencing of computable expressions. Zbl 0484.68009
Paige, Robert; Koenig, Shaye
15
1982
Verifying temporal properties without temporal logic. Zbl 0676.68003
Alpern, Bowen; Schneider, Fred B.
14
1989
Finaly data types and their specification. Zbl 0498.68008
Kamin, Samuel
14
1983
Axiomatic semantics of communicating sequential processes. Zbl 0542.68013
Soundararajan, N.
14
1984
On the algebraic definition of programming languages. Zbl 0627.68009
Broy, Manfred; Wirsing, Martin; Pepper, Peter
13
1987
Proofs as programs. Zbl 0555.68003
Bates, Joseph L.; Constable, Robert L.
13
1985
A new analysis of LALR formalisms. Zbl 0549.68083
Park, Joseph C. H.; Choe, K. M.; Chang, C. H.
13
1985
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
Assignment and procedure call proof rules. Zbl 0468.68006
Gries, David; Levin, Gary
11
1980
Director strings as combinators. Zbl 0669.68013
Kennaway, Richard; Sleep, Ronan
10
1988
A distributed graph algorithm: Knot detection. Zbl 0489.68061
Misra, J.; Chandy, K. M.
10
1982
Efficient synchronization on multiprocessors with shared memory. Zbl 0663.68011
Kruskal, Clyde P.; Rudolph, Larry; Snir, Marc
10
1988
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
10
1983
A new approach to proving the correctness of multiprocess programs. Zbl 0463.68022
Lamport, Leslie
10
1979
Program transformations in a denotational setting. Zbl 0566.68013
Nielson, Flemming
10
1985
A formal approach to Undo operations in programming languages. Zbl 0592.68015
Leeman, George B. jun.
9
1986
A mathematical approach to nondeterminism in data types. Zbl 0825.68330
Hesselink, Wim H.
9
1988
Guardians and actions: Linguistic support for robust, distributed programs. Zbl 0512.68027
Liskov, Barbara; Scheifler, Robert
9
1983
A weaker precondition for loops. Zbl 0492.68014
Boom, H. J.
9
1982
Methods for computing LALR(k) lookahead. Zbl 0454.68100
Kristensen, Bent Bruun; Madsen, Ole Lehrmann
8
1981
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
Detecting global variables in denotational specifications. Zbl 0562.68008
Schmidt, David A.
7
1985
A language for array and vector processors. Zbl 0449.68004
Perrott, R. H.
7
1979
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
Proving liveness for networks of communicating finite state machines. Zbl 0593.68016
Gouda, Mohamed G.; Chang, Chung-Kuo
7
1986
The multiway rendezvous. Zbl 0623.68024
Charlesworth, Arthur
7
1987
Algorithmic specificatons: A constitutive specification method for abstract data types. Zbl 0631.68020
Loeckx, Jacques
7
1987
Verification of array, record, and pointer operations in Pascal. Zbl 0452.68014
Luckham, David C.; Suzuki, Norihisa
7
1979
An example of stepwise refinement of distributed programs: quiescence detection. Zbl 0598.68031
Chandy, Mani; Misra, Jayadev
6
1986
Writing Larch interface language specifications. Zbl 0627.68014
Wing, Jeannette M.
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
The geometry of semaphore programs. Zbl 0627.68022
Carson, Scott D.; Reynolds, Paul F. jun.
6
1987
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
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
Side effects and aliasing can have simple axiomatic descriptions. Zbl 0575.68011
Boehm, Hans-Juergen
5
1985
Some techniques for recursion removal from recursive functions. Zbl 0547.68009
Arsac, J.; Kodratoff, Y.
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
R for semantics. Zbl 0478.68083
Ashcroft, E. A.; Wadge, W. W.
5
1982
Toward compiler implementation correctness proofs. Zbl 0591.68014
Chirica, Laurian M.; Martin, David F.
4
1986
Termination detection of diffusing computations in communicating sequential processes. Zbl 0479.68025
Misra, Jayadev; Chandy, K. M.
4
1982
Parallel generation of postfix and tree forms. Zbl 0525.68017
Dekel, Eliezer; Sahni, Sartaj
4
1983
Translation of attribute grammars into procedures. Zbl 0554.68014
Katayama, Takuya
4
1984
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
Assessing test data adequacy through program inference. Zbl 0517.68031
Weyuker, Elaine J.
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
Some observations concerning formal differentiation of set theoretic expressions. Zbl 0481.68005
Sharir, Micha
4
1982
Noncanonical SLR(1) grammars. Zbl 0449.68045
Tai, Kuo-Chung
4
1979
Incremental parsing. Zbl 0449.68046
Ghezzi, Carlo; Mandrioli, Dino
4
1979
Synthesis of resource invariants for concurrent programs. Zbl 0468.68024
Clarke, Edmund Melson jun.
4
1980
Verifying temporal properties without temporal logic. Zbl 0676.68003
Alpern, Bowen; Schneider, Fred B.
14
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
41
1988
Distributed cooperation with action systems. Zbl 0663.68028
Back, R. J. R.; Kurki-Suonio, R.
24
1988
Director strings as combinators. Zbl 0669.68013
Kennaway, Richard; Sleep, Ronan
10
1988
Efficient synchronization on multiprocessors with shared memory. Zbl 0663.68011
Kruskal, Clyde P.; Rudolph, Larry; Snir, Marc
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.
49
1987
Automatic translation of FORTRAN programs to vector form. Zbl 0631.68019
Allen, Randy; Kennedy, Ken
19
1987
On the algebraic definition of programming languages. Zbl 0627.68009
Broy, Manfred; Wirsing, Martin; Pepper, Peter
13
1987
The multiway rendezvous. Zbl 0623.68024
Charlesworth, Arthur
7
1987
Algorithmic specificatons: A constitutive specification method for abstract data types. Zbl 0631.68020
Loeckx, Jacques
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.
323
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
78
1985
Multilisp: A language for concurrent symbolic computation. Zbl 0581.68037
Halstead, Robert H. jun.
33
1985
CIRCAL and the representation of communication, concurrency, and time. Zbl 0562.68017
Milne, George J.
23
1985
Optimal parallel generation of a computation tree form. Zbl 0564.68037
Bar-on, Ilan; Vishkin, Uzi
18
1985
Proofs as programs. Zbl 0555.68003
Bates, Joseph L.; Constable, Robert L.
13
1985
A new analysis of LALR formalisms. Zbl 0549.68083
Park, Joseph C. H.; Choe, K. M.; Chang, C. H.
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
Editing by example. Zbl 0578.68081
Nix, Robert P.
2
1985
Noncorrecting syntax error recovery. Zbl 0604.68099
Richter, Helmut
2
1985
Generalizing specifications for uniformly implemented loops. Zbl 0559.68003
Dunlop, Douglas D.; Basili, Victor R.
2
1985
Symmetric intertask communication. Zbl 0575.68024
Francez, Nissim; Yemini, Shaula A.
1
1985
Efficient demand-driven evaluation. I. Zbl 0562.68006
Pingali, Keshav; Arvind
1
1985
Program abstraction and instantiation. Zbl 0566.68012
Dershowitz, Nachum
1
1985
Data types are values. Zbl 0566.68016
Donahue, James; Demers, Alan
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
Axiomatic semantics of communicating sequential processes. Zbl 0542.68013
Soundararajan, N.
14
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
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
Translation of attribute grammars into procedures. Zbl 0554.68014
Katayama, Takuya
4
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
Modeling the distributed termination convention of CSP. Zbl 0536.68018
Apt, Krzysztof R.; Francez, Nissim
3
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
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
A distributed algorithm for minimum-weight spanning trees. Zbl 0498.68040
Gallager, R. G.; Humblet, P. A.; Spira, P. M.
103
1983
Tentative steps toward a development method for interfering programs. Zbl 0517.68032
Jones, C. B.
69
1983
Specifying concurrent program modules. Zbl 0516.68010
Lamport, Leslie
40
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
10
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
Parallel generation of postfix and tree forms. Zbl 0525.68017
Dekel, Eliezer; Sahni, Sartaj
4
1983
Assessing test data adequacy through program inference. Zbl 0517.68031
Weyuker, Elaine J.
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
272
1982
An efficient unification algorithm. Zbl 0478.68093
Martelli, Alberto; Montanari, Ugo
172
1982
Proving liveness properties of concurrent programs. Zbl 0483.68013
Owicki, Susan; Lamport, Leslie
77
1982
On O(n log n) unidirectional algorithm for the circular extrema problem. Zbl 0489.68040
Peterson, Gary L.
46
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
...and 61 more Documents
all top 5

Cited by 3,491 Authors

21 Vardi, Moshe Ya’akov
20 Raynal, Michel
19 Meseguer Guaita, José
15 Tinelli, Cesare
14 Barrett, Clark W.
14 Kupferman, Orna
13 Baier, Christel
13 Ghilardi, Silvio
13 Ringeissen, Christophe
12 Bergstra, Jan A.
12 Cohen, Ran
12 Owe, Olaf
11 de Boer, Frank S.
11 De Nicola, Rocco
10 Fontaine, Pascal
10 Guerraoui, Rachid
10 Hayes, Ian J.
10 Hesselink, Wim H.
10 Pelc, Andrzej
10 Peleg, David
10 Pnueli, Amir
10 Ranise, Silvio
9 Bonacina, Maria Paola
9 Choe, Kwang-Moo
9 Clarke, Edmund Melson jun.
9 Duan, Zhenhua
9 Francez, Nissim
9 Garay, Juan A.
9 Grumberg, Orna
9 Halpern, Joseph Yehuda
9 Johnsen, Einar Broch
9 Kutten, Shay
9 Pugliese, Rosario
9 Sannella, Donald T.
9 Santoro, Nicola
9 Schmidt-Schauß, Manfred
9 Tarlecki, Andrzej
9 Zavattaro, Gianluigi
8 Cimatti, Alessandro
8 Gnesi, Stefania
8 Kwiatkowska, Marta Z.
8 Lynch, Nancy Ann
8 Masuzawa, Toshimitsu
8 Peled, Doron A.
8 Reynolds, Andrew
8 Silva, Josep
8 Tian, Cong
8 Zhang, Nan
8 Zohar, Yoni
7 Bruttomesso, Roberto
7 Colvin, Robert J.
7 Dovland, Johan
7 Fauconnier, Hugues
7 Fraigniaud, Pierre
7 Georgiadis, Loukas
7 Glück, Robert
7 Herlihy, Maurice P.
7 Hoare, C. A. R. Tony
7 Morgan, Carroll C.
7 Nielson, Flemming
7 Pandurangan, Gopal
7 Talcott, Carolyn L.
7 Zikas, Vassilis
6 Abdulla, Parosh Aziz
6 Anderson, James H.
6 Apt, Krzysztof Rafal
6 Baader, Franz
6 Back, Ralph-Johan
6 Busi, Nadia
6 Delporte-Gallet, Carole
6 Dolev, Shlomi
6 Gianola, Alessandro
6 Gorla, Daniele
6 Harman, Mark
6 Hennicker, Rolf
6 Henzinger, Thomas A.
6 Iranzo, Pascual Julián
6 Jamroga, Wojciech
6 Jonsson, Bengt
6 Kapur, Deepak
6 Korman, Amos
6 Kranakis, Evangelos Konstantinou
6 Kryvyi, Serhiĭ L.
6 Lamport, Leslie
6 Levi, Giorgio
6 Neiger, Gil
6 Olderog, Ernst-Rüdiger
6 Penczek, Wojciech
6 Roşu, Grigore
6 Rytter, Wojciech
6 Schmid, Ulrich
6 Sheng, Ying
6 Steffen, Martin
6 Tucker, John V.
6 Vidal, Germán
5 Attie, Paul C.
5 Bermudez, Manuel E.
5 Bidoit, Michel
5 Bolotov, Alexander
5 Brookes, Stephen D.
...and 3,391 more Authors
all top 5

Cited in 182 Journals

387 Theoretical Computer Science
119 Information Processing Letters
113 Distributed Computing
107 Information and Computation
106 Formal Aspects of Computing
74 Acta Informatica
56 Journal of Computer and System Sciences
51 Journal of Automated Reasoning
47 Formal Methods in System Design
43 Journal of Symbolic Computation
32 Science of Computer Programming
30 Information Sciences
29 International Journal of Parallel Programming
29 The Journal of Logic and Algebraic Programming
27 Artificial Intelligence
27 Journal of Logical and Algebraic Methods in Programming
24 Journal of Functional Programming
23 Algorithmica
21 New Generation Computing
21 International Journal of Foundations of Computer Science
18 Annals of Mathematics and Artificial Intelligence
17 MSCS. Mathematical Structures in Computer Science
15 Journal of Computer Science and Technology
14 International Journal of Computer Mathematics
13 BIT
13 Journal of Cryptology
12 Cybernetics and Systems Analysis
12 Logical Methods in Computer Science
11 RAIRO. Informatique Théorique et Applications
11 Theory and Practice of Logic Programming
10 Automatica
10 Annals of Pure and Applied Logic
10 Journal of Parallel and Distributed Computing
10 Computer Languages, Systems & Structures
9 Programming and Computer Software
9 Higher-Order and Symbolic Computation
8 Discrete Applied Mathematics
8 Mathematical Systems Theory
8 ACM Transactions on Computational Logic
7 Journal of Applied Non-Classical Logics
7 Computer Science Review
6 Computing
6 Fuzzy Sets and Systems
6 International Journal of Approximate Reasoning
6 Theory of Computing Systems
6 Sādhanā
5 SIAM Journal on Computing
5 Software. Practice & Experience
5 Studia Logica
5 Applicable Algebra in Engineering, Communication and Computing
5 Diagrammes
4 Computers & Mathematics with Applications
4 International Journal of Theoretical Physics
4 Applied Mathematics and Computation
4 The Journal of Symbolic Logic
4 Networks
4 Computers & Operations Research
4 Discrete Event Dynamic Systems
4 The Bulletin of Symbolic Logic
4 Parallel Algorithms and Applications
4 European Journal of Control
4 Journal of Combinatorial Optimization
4 Journal of Applied Logic
4 Parallel Processing Letters
3 International Journal of Control
3 International Journal of Computer & Information Sciences
3 Real-Time Systems
3 Machine Learning
3 Concurrency: Practice and Experience
3 Automation and Remote Control
3 European Journal of Operational Research
3 Fundamenta Informaticae
3 Concurrency and Computation: Practice & Experience
3 Journal of Discrete Algorithms
3 Science China. Information Sciences
3 Frontiers of Computer Science
2 Computer Physics Communications
2 Journal of Philosophical Logic
2 Kybernetes
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 The Journal of Supercomputing
2 Journal of Mathematical Sciences (New York)
2 Constraints
2 Journal of Scheduling
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
2 Discrete Mathematics, Algorithms and Applications
2 Algorithms
2 Frontiers of Computer Science in China
...and 82 more Journals

Citations by Year