Using mappings to prove timing properties

Nancy Lynch; Hagit Attiya

doi:10.1145/93385.93428

Abstract

Article Free Access Share on Using mappings to prove timing properties Authors: Nancy Lynch Laboratory for Computer Science, MIT, Cambridge, MA Laboratory for Computer Science, MIT, Cambridge, MAView Profile , Hagit Attiya Laboratory for Computer Science, MIT, Cambridge, MA Laboratory for Computer Science, MIT, Cambridge, MAView Profile Authors Info & Claims PODC '90: Proceedings of the ninth annual ACM symposium on Principles of distributed computingAugust 1990 Pages 265–280https://doi.org/10.1145/93385.93428Online:01 August 1990Publication History 24citation268DownloadsMetricsTotal Citations24Total Downloads268Last 12 Months5Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF

Keywords

CitationComputer scienceNinthWorld Wide Web

Related Publications

End-To-End Arguments In System Design

Jerome H. Saltzer , David P. Reed , David D. Clark

article Free Access Share on End-to-end arguments in system design Authors: J. H. Saltzer M.I.T. Laboratory for Computer Science, 545 Technology Square, Cambridge, MA M.I.T. Lab...

2009 2100 citations

Trading MIPS and memory for knowledge engineering

Robert H. Creecy , Brij Masand , Stephen J Smith +1 more

article Free Access Share on Trading MIPS and memory for knowledge engineering Authors: Robert H. Creecy U.S. Bureau of the Census, Washington, DC U.S. Bureau of the Census, Was...

1992 Communications of the ACM 180 citations

Trie memory

Edward Fredkin

article Free AccessTrie memory Author: Edward Fredkin Bolt Beranek and Newman, Inc., Cambridge, MA Bolt Beranek and Newman, Inc., Cambridge, MAView Profile Authors Info & Claims...

1960 Communications of the ACM 1076 citations

Bounded-width polynomial-size branching programs recognize exactly those languages in <i>NC</i><sup>1</sup>

David A. Mix Barrington

Article Bounded-width polynomial-size branching programs recognize exactly those languages in NC1 Share on Author: D A Barrington Department of Mathematics, Massachusetts Instit...

1986 681 citations

A theory of the learnable

Leslie G. Valiant

article Free Access Share on A theory of the learnable Author: L. G. Valiant Harvard Univ., Cambridge, MA Harvard Univ., Cambridge, MAView Profile Authors Info & Claims Communic...

1984 Communications of the ACM 3207 citations

Publication Info

Year: 1990
Type: article
Volume: 3
Pages: 265-280
Citations: 45
Access: Closed

External Links

Download PDF (Free) View on DOI.org

Social Impact

Altmetric

Using mappings to prove timing properties

PlumX Metrics

Social media, news, blog, policy document mentions

Citation Metrics

OpenAlex

Cite This

APA Style

                            
                                    Nancy Lynch, 
                                
                                    Hagit Attiya
                                
                            (1990). 
                            Using mappings to prove timing properties. 
                            Proceedings of the ninth annual ACM symposium on Principles of distributed computing
                            , 3
                            
                            , 265-280.
                            https://doi.org/10.1145/93385.93428

Identifiers

DOI: 10.1145/93385.93428

Data Quality

Data completeness: 81%