skip to main content
10.1145/1400751.1400860acmconferencesArticle/Chapter ViewAbstractPublication PagespodcConference Proceedingsconference-collections
demonstration

The power of simulation relations

Published: 18 August 2008 Publication History

Abstract

We illustrate the role of simulation relations in the process of verification of large concurrent and distributed systems, showing in particular how simulation relations can be used successfully for the analysis of security protocols.

References

[1]
R. Canetti, L. Cheung, D. Kaynar, M. Liskov, N.A. Lynch, O. Pereira, and R. Segala. Analyzing security protocols using time-bounded task-PIOAs. Discrete Event Dynamic Systems, 18(1):111--159, 2008.
[2]
B. Jonsson. Simulations between specifications of distributed systems. In Proceedings of CONCUR 91, LNCS 527, 1991.
[3]
D.K. Kaynar, N.A. Lynch, R. Segala, and F.W. Vaandrager. The Theory of Timed I/O Automata. Synthesis Lecture on Computer Science, Morgan & Claypool, 2006.
[4]
L. Lamport. The temporal logic of actions. ACM TOPLAS, 16(3):872--923, 1994.
[5]
N. Lynch, R. Segala, and F. Vaandrager. Hybrid I/O automata. Information and Computation, 185(1):105--157, 2003.
[6]
N.A. Lynch and M.R. Tuttle. Hierarchical correctness proofs for distributed algorithms. InProceedings of the 6th Annual ACM PODC, pages 137--151, 1987.
[7]
N.A. Lynch and F.W. Vaandrager. Forward and backward simulations -- part I: Untimed systems. Information and Computation, 121(2): 214--233, 1995.
[8]
N.A. Lynch, R. Segala, and F.W. Vaandrager. Observing branching structure through probabilistic contexts. SIAM J. Comput., 37(4):977--1013, 2007.
[9]
R. Milner. Communication and Concurrency. Prentice-Hall International, Englewood Cliffs, 1989.
[10]
R. Segala. Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, MIT, 1995.
[11]
R. Segala and A. Turrini. Approximated computationally bounded simulation relations for probabilistic automata. In CSF, pages 140--156. IEEE Computer Society, 2007.

Cited By

View all
  • (2019)Saving Space in a Time Efficient Simulation AlgorithmFundamenta Informaticae10.5555/2362088.2362091108:1-2(23-42)Online publication date: 4-Jan-2019
  • (2009)Saving Space in a Time Efficient Simulation AlgorithmProceedings of the 2009 Ninth International Conference on Application of Concurrency to System Design10.1109/ACSD.2009.14(60-69)Online publication date: 1-Jul-2009

Index Terms

  1. The power of simulation relations

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    PODC '08: Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
    August 2008
    474 pages
    ISBN:9781595939890
    DOI:10.1145/1400751
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 18 August 2008

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. automata
    2. simulation relations

    Qualifiers

    • Demonstration

    Conference

    PODC '08

    Acceptance Rates

    Overall Acceptance Rate 740 of 2,477 submissions, 30%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)5
    • Downloads (Last 6 weeks)4
    Reflects downloads up to 17 Jan 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2019)Saving Space in a Time Efficient Simulation AlgorithmFundamenta Informaticae10.5555/2362088.2362091108:1-2(23-42)Online publication date: 4-Jan-2019
    • (2009)Saving Space in a Time Efficient Simulation AlgorithmProceedings of the 2009 Ninth International Conference on Application of Concurrency to System Design10.1109/ACSD.2009.14(60-69)Online publication date: 1-Jul-2009

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media