×

zbMATH — the first resource for mathematics

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: 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 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 Edward
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 H.
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.
1 Fraser, Christopher W.
...and 173 more Authors

Publications by Year

Citations contained in zbMATH Open

156 Publications have been cited 2,268 times in 2,257 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.
248
1986
The Byzantine generals problem. Zbl 0483.68021
Lamport, Leslie; Shostak, Robert; Pease, Marshall
171
1982
An efficient unification algorithm. Zbl 0478.68093
Martelli, Alberto; Montanari, Ugo
138
1982
Simplification by cooperating decision procedures. Zbl 0452.68013
Nelson, Greg; Oppen, Derek C.
123
1979
Ten years of Hoare’s logic: A survey - Part 1. Zbl 0471.68006
Apt, Krzysztof R.
93
1981
A distributed algorithm for minimum-weight spanning trees. Zbl 0498.68040
Gallager, R. G.; Humblet, P. A.; Spira, P. M.
73
1983
Generative communication in Linda. Zbl 0559.68030
Gelernter, David
72
1985
Proving liveness properties of concurrent programs. Zbl 0483.68013
Owicki, Susan; Lamport, Leslie
62
1982
A proof system for communicating sequential processes. Zbl 0468.68023
Apt, Krzysztof R.; Francez, Nissim; De Roever, Willem P.
52
1980
Tentative steps toward a development method for interfering programs. Zbl 0517.68032
Jones, C. B.
48
1983
On O(n log n) unidirectional algorithm for the circular extrema problem. Zbl 0489.68040
Peterson, Gary L.
39
1982
Ultracomputers. Zbl 0468.68027
Schwartz, J. T.
38
1980
Specifying concurrent program modules. Zbl 0516.68010
Lamport, Leslie
37
1983
Synthesis of communicating processes from temporal logic specifications. Zbl 0522.68030
Manna, Zohar; Wolper, Pierre
37
1984
Data type specification: Parameterization and the power of specification techniques. Zbl 0495.68020
Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
35
1982
The program dependence graph and its use in optimization. Zbl 0623.68012
Ferrante, Jeanne; Ottenstein, Karl J.; Warren, Joe D.
34
1987
A deductive approach to program synthesis. Zbl 0468.68009
Manna, Zohar; Waldinger, Richard
34
1980
PARLOG: Parallel programming in logic. Zbl 0592.68016
Clark, Keith; Gregory, Steve
33
1986
The specification statement. Zbl 0825.68302
Morgan, Carroll
32
1988
Termination of probabilistic concurrent programs. Zbl 0511.68009
Hart, Sergiu; Sharir, Micha; Pnueli, Amir
30
1983
A fast algorithm for finding dominators in a flowgraph. Zbl 0449.68024
Lengauer, Thomas; Tarjan, Robert Endre
29
1979
The concept of a supercompiler. Zbl 0598.68016
Turchin, Valentin F.
29
1986
Multilisp: A language for concurrent symbolic computation. Zbl 0581.68037
Halstead, Robert H. jun.
28
1985
Distributed cooperation with action systems. Zbl 0663.68028
Back, R. J. R.; Kurki-Suonio, R.
22
1988
Automatic translation of FORTRAN programs to vector form. Zbl 0631.68019
Allen, Randy; Kennedy, Ken
18
1987
Programming with equations. Zbl 0481.68008
Hoffmann, Christoph M.; O’Donnell, Michael J.
18
1982
Efficient computation of LALR(1) look-ahead sets. Zbl 0489.68074
DeRemer, Frank; Pennello, Thomas
18
1982
CIRCAL and the representation of communication, concurrency, and time. Zbl 0562.68017
Milne, George J.
18
1985
Axioms for memory access in asynchronous hardware systems. Zbl 0593.68017
Misra, J.
17
1986
Distributed termination. Zbl 0468.68025
Francez, Nissim
17
1980
Parameterized specifications: Parameter passing and imlementation with respect to observability. Zbl 0511.68010
Ganzinger, Harald
17
1983
Optimal parallel generation of a computation tree form. Zbl 0564.68037
Bar-on, Ilan; Vishkin, Uzi
17
1985
An improved context-free recognizer. Zbl 0461.68084
Graham, Susan L.; Harrison, Michael A.; Ruzzo, Walter L.
16
1980
Concurrent reading while writing. Zbl 0498.68010
Peterson, Gary L.
16
1983
An effective implementation for the generalized input-output construct of CSP. Zbl 0516.68026
Buckley, G. N.; Silberschatz, A.
15
1983
Distributed algorithms for finding centers and medians in networks. Zbl 0543.68051
Korach, E.; Rotem, D.; Santoro, N.
14
1984
An axiomatic approach to information flow in programs. Zbl 0468.68034
Andrews, Gregory R.; Reitman, Richard P.
13
1980
A new analysis of LALR formalisms. Zbl 0549.68083
Park, Joseph C. H.; Choe, K. M.; Chang, C. H.
12
1985
On the algebraic definition of programming languages. Zbl 0627.68009
Broy, Manfred; Wirsing, Martin; Pepper, Peter
12
1987
Deriving target code as a representation of continuation semantics. Zbl 0483.68070
Wand, Mitchell
12
1982
Finite differencing of computable expressions. Zbl 0484.68009
Paige, Robert; Koenig, Shaye
12
1982
Finaly data types and their specification. Zbl 0498.68008
Kamin, Samuel
12
1983
The ”Hoare logic” of CSP, and all that. Zbl 0536.68017
Lamport, Leslie; Schneider, Fred B.
12
1984
Axiomatic semantics of communicating sequential processes. Zbl 0542.68013
Soundararajan, N.
12
1984
Verifying temporal properties without temporal logic. Zbl 0676.68003
Alpern, Bowen; Schneider, Fred B.
11
1989
Assignment and procedure call proof rules. Zbl 0468.68006
Gries, David; Levin, Gary
11
1980
The promotion and accumulation strategies in transformational programming. Zbl 0542.68006
Bird, R. S.
10
1984
Program transformations in a denotational setting. Zbl 0566.68013
Nielson, Flemming
10
1985
Efficient synchronization on multiprocessors with shared memory. Zbl 0663.68011
Kruskal, Clyde P.; Rudolph, Larry; Snir, Marc
9
1988
A weaker precondition for loops. Zbl 0492.68014
Boom, H. J.
9
1982
On the construction of submodule specifications and communication protocols. Zbl 0498.68009
Merlin, Philip; Bochmann, Gregor V.
9
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
Director strings as combinators. Zbl 0669.68013
Kennaway, Richard; Sleep, Ronan
8
1988
A new approach to proving the correctness of multiprocess programs. Zbl 0463.68022
Lamport, Leslie
8
1979
A distributed graph algorithm: Knot detection. Zbl 0489.68061
Misra, J.; Chandy, K. M.
8
1982
Methods for computing LALR(k) lookahead. Zbl 0454.68100
Kristensen, Bent Bruun; Madsen, Ole Lehrmann
8
1981
Proofs as programs. Zbl 0555.68003
Bates, Joseph L.; Constable, Robert L.
8
1985
A formal approach to Undo operations in programming languages. Zbl 0592.68015
Leeman, George B. jun.
7
1986
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
A system for assisting program transformation. Zbl 0479.68014
Feather, Martin S.
7
1982
A language for array and vector processors. Zbl 0449.68004
Perrott, R. H.
6
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
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
A new solution to Lamport’s concurrent programming problem using small shared variables. Zbl 0498.68011
Peterson, Gary L.
6
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
Algorithms for on-the-fly garbage collection. Zbl 0536.68030
Ben-Ari, Mordechai
6
1984
Verification of array, record, and pointer operations in Pascal. Zbl 0452.68014
Luckham, David C.; Suzuki, Norihisa
6
1979
Information-flow and data-flow analysis of while-programs. Zbl 0559.68014
Bergeretti, Jean-François; Carré, Bernard A.
6
1985
Detecting global variables in denotational specifications. Zbl 0562.68008
Schmidt, David A.
6
1985
A mathematical approach to nondeterminism in data types. Zbl 0825.68330
Hesselink, Wim H.
6
1988
Some techniques for recursion removal from recursive functions. Zbl 0547.68009
Arsac, J.; Kodratoff, Y.
5
1982
Correctnss proofs of distributed termination algorithms. Zbl 0599.68017
Apt, Krzysztof R.
5
1986
The geometry of semaphore programs. Zbl 0627.68022
Carson, Scott D.; Reynolds, Paul F. jun.
5
1987
Algorithmic specificatons: A constitutive specification method for abstract data types. Zbl 0631.68020
Loeckx, Jacques
5
1987
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
The type theory of PL/CV3. Zbl 0522.68020
Constable, Robert L.; Zlatin, Daniel R.
5
1984
Real-time synchronization of interprocess communications. Zbl 0536.68021
Reif, John H.; Spirakis, Paul G.
5
1984
Side effects and aliasing can have simple axiomatic descriptions. Zbl 0575.68011
Boehm, Hans-Juergen
5
1985
Noncanonical SLR(1) grammars. Zbl 0449.68045
Tai, Kuo-Chung
4
1979
Incremental parsing. Zbl 0449.68046
Ghezzi, Carlo; Mandrioli, Dino
4
1979
Toward compiler implementation correctness proofs. Zbl 0591.68014
Chirica, Laurian M.; Martin, David F.
4
1986
Proving systolic systems correct. Zbl 0598.68030
Hennessy, Matthew
4
1986
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
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
Control flow aspects of semantics-directed compiling. Zbl 0517.68046
Sethi, Ravi
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
An automatic technique for selection of data representations in SETL programs. Zbl 0452.68010
Schonberg, Edmond; Schwartz, Jacob T.; Sharir, Micha
4
1981
Translation of attribute grammars into procedures. Zbl 0554.68014
Katayama, Takuya
4
1984
Embedding continuations in procedural objects. Zbl 0631.68006
Haynes, Christopher T.; Friedman, Daniel P.
3
1987
Verifying temporal properties without temporal logic. Zbl 0676.68003
Alpern, Bowen; Schneider, Fred B.
11
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.
2
1989
The specification statement. Zbl 0825.68302
Morgan, Carroll
32
1988
Distributed cooperation with action systems. Zbl 0663.68028
Back, R. J. R.; Kurki-Suonio, R.
22
1988
Efficient synchronization on multiprocessors with shared memory. Zbl 0663.68011
Kruskal, Clyde P.; Rudolph, Larry; Snir, Marc
9
1988
Director strings as combinators. Zbl 0669.68013
Kennaway, Richard; Sleep, Ronan
8
1988
A mathematical approach to nondeterminism in data types. Zbl 0825.68330
Hesselink, Wim H.
6
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.
34
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
12
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.
5
1987
Algorithmic specificatons: A constitutive specification method for abstract data types. Zbl 0631.68020
Loeckx, Jacques
5
1987
Embedding continuations in procedural objects. Zbl 0631.68006
Haynes, Christopher T.; Friedman, Daniel P.
3
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
Sublinear-space evaluation algorithms for attribute grammars. Zbl 0633.68005
Reps, Thomas; Demers, Alan
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.
248
1986
PARLOG: Parallel programming in logic. Zbl 0592.68016
Clark, Keith; Gregory, Steve
33
1986
The concept of a supercompiler. Zbl 0598.68016
Turchin, Valentin F.
29
1986
Axioms for memory access in asynchronous hardware systems. Zbl 0593.68017
Misra, J.
17
1986
A formal approach to Undo operations in programming languages. Zbl 0592.68015
Leeman, George B. jun.
7
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
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
Proving systolic systems correct. Zbl 0598.68030
Hennessy, Matthew
4
1986
Efficient demand-driven evaluation. II. Zbl 0596.68024
Pingali, Keshav; Arvind
2
1986
Generative communication in Linda. Zbl 0559.68030
Gelernter, David
72
1985
Multilisp: A language for concurrent symbolic computation. Zbl 0581.68037
Halstead, Robert H. jun.
28
1985
CIRCAL and the representation of communication, concurrency, and time. Zbl 0562.68017
Milne, George J.
18
1985
Optimal parallel generation of a computation tree form. Zbl 0564.68037
Bar-on, Ilan; Vishkin, Uzi
17
1985
A new analysis of LALR formalisms. Zbl 0549.68083
Park, Joseph C. H.; Choe, K. M.; Chang, C. H.
12
1985
Program transformations in a denotational setting. Zbl 0566.68013
Nielson, Flemming
10
1985
Proofs as programs. Zbl 0555.68003
Bates, Joseph L.; Constable, Robert L.
8
1985
Information-flow and data-flow analysis of while-programs. Zbl 0559.68014
Bergeretti, Jean-François; Carré, Bernard A.
6
1985
Detecting global variables in denotational specifications. Zbl 0562.68008
Schmidt, David 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
2
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
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
37
1984
Distributed algorithms for finding centers and medians in networks. Zbl 0543.68051
Korach, E.; Rotem, D.; Santoro, N.
14
1984
The ”Hoare logic” of CSP, and all that. Zbl 0536.68017
Lamport, Leslie; Schneider, Fred B.
12
1984
Axiomatic semantics of communicating sequential processes. Zbl 0542.68013
Soundararajan, N.
12
1984
The promotion and accumulation strategies in transformational programming. Zbl 0542.68006
Bird, R. S.
10
1984
Algorithms for on-the-fly garbage collection. Zbl 0536.68030
Ben-Ari, Mordechai
6
1984
The type theory of PL/CV3. Zbl 0522.68020
Constable, Robert L.; Zlatin, Daniel R.
5
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
Selective and locally controlled transport of privileges. Zbl 0547.68033
Minsky, Naftaly H.
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
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.
73
1983
Tentative steps toward a development method for interfering programs. Zbl 0517.68032
Jones, C. B.
48
1983
Specifying concurrent program modules. Zbl 0516.68010
Lamport, Leslie
37
1983
Termination of probabilistic concurrent programs. Zbl 0511.68009
Hart, Sergiu; Sharir, Micha; Pnueli, Amir
30
1983
Parameterized specifications: Parameter passing and imlementation with respect to observability. Zbl 0511.68010
Ganzinger, Harald
17
1983
Concurrent reading while writing. Zbl 0498.68010
Peterson, Gary L.
16
1983
An effective implementation for the generalized input-output construct of CSP. Zbl 0516.68026
Buckley, G. N.; Silberschatz, A.
15
1983
Finaly data types and their specification. Zbl 0498.68008
Kamin, Samuel
12
1983
On the construction of submodule specifications and communication protocols. Zbl 0498.68009
Merlin, Philip; Bochmann, Gregor V.
9
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.
6
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
Assessing test data adequacy through program inference. Zbl 0517.68031
Weyuker, Elaine J.
4
1983
Control flow aspects of semantics-directed compiling. Zbl 0517.68046
Sethi, Ravi
4
1983
Parallel generation of postfix and tree forms. Zbl 0525.68017
Dekel, Eliezer; Sahni, Sartaj
4
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
Correctness proofs of communicating processes: Three illustrative examples from the literature. Zbl 0517.68054
Ossefort, Marty
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
171
1982
An efficient unification algorithm. Zbl 0478.68093
Martelli, Alberto; Montanari, Ugo
138
1982
Proving liveness properties of concurrent programs. Zbl 0483.68013
Owicki, Susan; Lamport, Leslie
62
1982
On O(n log n) unidirectional algorithm for the circular extrema problem. Zbl 0489.68040
Peterson, Gary L.
39
1982
Data type specification: Parameterization and the power of specification techniques. Zbl 0495.68020
Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
35
1982
Programming with equations. Zbl 0481.68008
Hoffmann, Christoph M.; O’Donnell, Michael J.
18
1982
Efficient computation of LALR(1) look-ahead sets. Zbl 0489.68074
DeRemer, Frank; Pennello, Thomas
18
1982
Deriving target code as a representation of continuation semantics. Zbl 0483.68070
Wand, Mitchell
12
1982
Finite differencing of computable expressions. Zbl 0484.68009
Paige, Robert; Koenig, Shaye
12
1982
...and 56 more Documents
all top 5

Cited by 3,355 Authors

19 Meseguer Guaita, José
17 Vardi, Moshe Y.
13 Raynal, Michel
12 Kupferman, Orna
12 Owe, Olaf
11 Bergstra, Jan A.
11 Tinelli, Cesare
10 de Boer, Frank S.
10 Hesselink, Wim H.
10 Pnueli, Amir
10 Zavattaro, Gianluigi
9 Baier, Christel
9 Choe, Kwang-Moo
9 De Nicola, Rocco
9 De Schreye, Danny
9 Francez, Nissim
9 Grumberg, Orna
9 Halpern, Joseph Yehuda
9 Johnsen, Einar Broch
9 Pelc, Andrzej
9 Peleg, David
9 Pugliese, Rosario
9 Ranise, Silvio
9 Sannella, Donald T.
9 Tarlecki, Andrzej
8 Bonacina, Maria Paola
8 Clarke, Edmund Melson jun.
8 Fontaine, Pascal
8 Ghilardi, Silvio
8 Glück, Robert
8 Hayes, Ian J.
8 Kwiatkowska, Marta Z.
8 Lynch, Nancy Ann
8 Peled, Doron A.
8 Ringeissen, Christophe
8 Vidal, Germán
7 Barrett, Clark W.
7 Busi, Nadia
7 Duan, Zhenhua
7 Gorla, Daniele
7 Guerraoui, Rachid
7 Herlihy, Maurice P.
7 Kutten, Shay
7 Masuzawa, Toshimitsu
7 Morgan, Carroll C.
7 Nielson, Flemming
7 Pettorossi, Alberto
7 Roşu, Grigore
7 Santoro, Nicola
7 Talcott, Carolyn L.
7 Zhang, Nan
6 Abdulla, Parosh Aziz
6 Apt, Krzysztof Rafal
6 Back, Ralph-Johan
6 Birkedal, Lars
6 Bruttomesso, Roberto
6 Cimatti, Alessandro
6 Cohen, Ran
6 Dovland, Johan
6 Garay, Juan A.
6 Gnesi, Stefania
6 Gurfinkel, Arie
6 Harman, Mark
6 Hoare, C. A. R. Tony
6 Jamroga, Wojciech
6 Katz, Shmuel
6 Korman, Amos
6 Kryvyi, Serhiĭ L.
6 Lamport, Leslie
6 Neiger, Gil
6 Olderog, Ernst-Rüdiger
6 Penczek, Wojciech
6 Proietti, Maurizio
6 Schmidt-Schauß, Manfred
6 Silva, Josep
6 Steffen, Martin
6 Tian, Cong
6 Tucker, John V.
5 Anderson, James H.
5 Baader, Franz
5 Bermudez, Manuel E.
5 Bidoit, Michel
5 Carro, Manuel
5 Clarke, Dave
5 Colvin, Robert J.
5 Damiani, Ferruccio
5 Danicic, Sebastian
5 Dezani-Ciancaglini, Mariangiola
5 Dolev, Shlomi
5 Fauconnier, Hugues
5 Fraigniaud, Pierre
5 Gallier, Jean H.
5 Georgiadis, Loukas
5 Gorrieri, Roberto
5 Harel, David
5 Hennicker, Rolf
5 Henzinger, Thomas A.
5 Hermenegildo, Manuel V.
5 Iranzo, Pascual Julián
5 Jonsson, Bengt
...and 3,255 more Authors
all top 5

Cited in 170 Journals

368 Theoretical Computer Science
120 Formal Aspects of Computing
119 Information Processing Letters
109 Distributed Computing
100 Information and Computation
83 Acta Informatica
56 Formal Methods in System Design
54 Journal of Computer and System Sciences
49 Journal of Automated Reasoning
46 Journal of Functional Programming
43 Journal of Symbolic Computation
36 MSCS. Mathematical Structures in Computer Science
35 Theory and Practice of Logic Programming
33 International Journal of Parallel Programming
32 Science of Computer Programming
29 The Journal of Logic and Algebraic Programming
26 International Journal of Foundations of Computer Science
26 Higher-Order and Symbolic Computation
24 Artificial Intelligence
22 Algorithmica
21 New Generation Computing
21 Journal of Logical and Algebraic Methods in Programming
19 Information Sciences
18 Annals of Mathematics and Artificial Intelligence
16 Journal of Computer Science and Technology
16 International Journal of Computer Mathematics
14 BIT
12 Cybernetics and Systems Analysis
11 RAIRO. Informatique Théorique et Applications
11 ACM Transactions on Computational Logic
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 Cryptology
7 Journal of Applied Non-Classical Logics
7 Constraints
6 Automatica
6 The Journal of Symbolic Logic
6 Software. Practice & Experience
6 Real-Time Systems
6 Sādhanā
6 Computer Science Review
5 Computing
5 Fuzzy Sets and Systems
5 SIAM Journal on Computing
5 Studia Logica
5 Applicable Algebra in Engineering, Communication and Computing
5 Diagrammes
5 Parallel Algorithms and Applications
5 Logical Methods in Computer Science
4 Computers & Mathematics with Applications
4 International Journal of Theoretical Physics
4 Applied Mathematics and Computation
4 Computers & Operations Research
4 Discrete Event Dynamic Systems
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 Computer & Information Sciences
3 Networks
3 International Journal of Approximate Reasoning
3 Concurrency: Practice and Experience
3 Automation and Remote Control
3 Journal of Discrete Algorithms
3 Science China. Information Sciences
3 Frontiers of Computer Science
2 International Journal of Control
2 ACM Transactions on Mathematical Software
2 Kybernetes
2 Kybernetika
2 Linguistics and Philosophy
2 Notre Dame Journal of Formal Logic
2 SIAM Journal on Control and Optimization
2 Synthese
2 Cybernetics
2 Machine Learning
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 International Journal of Computational Geometry & Applications
2 The Journal of Supercomputing
2 European Journal of Operational Research
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 Parallel Processing Letters
2 International Journal of Parallel, Emergent and Distributed Systems
2 Algorithms
2 Frontiers of Computer Science in China
1 ACM Computing Surveys
1 Computer Physics Communications
1 Communications on Pure and Applied Mathematics
...and 70 more Journals

Citations by Year