CS Structure

About CS Structure | Search | Help  

 

  • distributed system; shared memory; operating system; real-time system ( Subthemes )
  •          signature scheme; group communication; cryptographic protocol; security protocol ( Subthemes )
  •                  security protocol; cryptographic protocol; authentication protocol; protocol analysis ( Subthemes )
  •                          authentication protocol; security protocol; cryptographic protocol; probabilistic polynomial-time ( Subthemes )
  • COMMUNICATING SEQUENTIAL PROCESSES - HOARE  
    By
    Date 
    Refs | Theme tree | Cited by 2182 This paper is cited in the following contexts

    Citation List: key=1000552
     

    Citation List:

    Citation Tree

    1) STATECHARTS: A VISUAL FORMALISM FOR COMPLEX SYSTEMS  
    By Communicated A. Pnueli    David Harel
    Date  November 2002
    Refs | Theme tree | Cited by 955 |  CiteSeer   (Hub and Authority Citation)

    2) HIERARCHICAL CORRECTNESS PROOFS FOR DISTRIBUTED ALGORITHMS  
    By Arthur C. Smith    Mark R. Tuttle    Nancy A. Lynch
    Date  December 2000
    Refs | Theme tree | Cited by 254 |  CiteSeer   (Authority Citation)

    3) BREAKING AND FIXING THE NEEDHAM-SCHROEDER PUBLIC-KEY PROTOCOL USING FDR  
    By Gavin Lowe
    Date  April 1996
    Refs | Theme tree | Cited by 237 |  CiteSeer  

    4) THE ALGEBRA OF TIMED PROCESSES ATP: THEORY AND APPLICATION  
    By Joseph Sifakis    Xavier Nicollin
    Date  December 2000
    Refs | Theme tree | Cited by 81 |  CiteSeer   (Authority Citation)

    5) A CALCULUS FOR CRYPTOGRAPHIC PROTOCOLS - THE SPI CALCULUS  
    By Andrew D. Gordon
    Date  December 1996
    Refs | Theme tree | Cited by 224 |  CiteSeer  

    6) SPECIFYING DISTRIBUTED SOFTWARE ARCHITECTURES  
    By Jeff Kramer    Jeff Magee    Naranker Dulay    Susan Eisenbach
    Date  June 1995
    Refs | Theme tree | Cited by 152 |  CiteSeer  

    7) CSP-OZ: A COMBINATION OF OBJECT-Z AND CSP  
    By Abteilung Semantik    Clemens Fischer    Fachbereich Informatik
    Date  November 1997
    Refs | Theme tree | Cited by 36 |  CiteSeer   (Authority Citation)

    8) A FORMAL APPROACH TO SOFTWARE ARCHITECTURE  
    By Barry Boehm (usc    Daniel Jackson    Mary Shaw    Robert J. Allen
    Date  September 2000
    Refs | Theme tree | Cited by 93 |  CiteSeer  

    9) TIME-CONSTRAINED AUTOMATA  
    By
    Date  June 1994
    Refs | Theme tree | Cited by 78 |  CiteSeer  

    10) FORMAL SPECIFICATION AND ANALYSIS OF SOFTWARE ARCHITECTURES USING THE CHEMICAL ABSTRACT MACHINE MODEL  
    By
    Date  May 1995
    Refs | Theme tree | Cited by 80 |  CiteSeer  

    11) A SEMANTIC INTEGRATION OF OBJECT-Z AND CSP FOR THE SPECIFICATION OF CONCURRENT SYSTEMS  
    By Graeme Smith
    Date  September 1998
    Refs | Theme tree | Cited by 36 |  CiteSeer   (Authority Citation)

    12) TURNING SOS RULES INTO EQUATIONS  
    By B. Bloom    Bard Bloom    Corso Italia    F. W. Va    Frits Vaandrager    L. Aceto    Luca Aceto
    Date  December 1994
    Refs | Theme tree | Cited by 52 |  CiteSeer  

    13) AN EVENT-BASED ARCHITECTURE DEFINITION LANGUAGE  
    By David C. Luckham    James Vera
    Date  July 1996
    Refs | Theme tree | Cited by 101 |  CiteSeer  

    14) FORMAL CHARACTERISATION OF IMMEDIATE ACTIONS IN SPA WITH NONDETERMINISTIC BRANCHING  
    By Holger Hermanns    Michael Rettelbach    Thorsten Wei
    Date  October 1995
    Refs | Theme tree | Cited by 32 |  CiteSeer  

    15) A SIMPLE APPROACH TO SPECIFYING CONCURRENT SYSTEMS  
    By
    Date  June 2000
    Refs | Theme tree | Cited by 101 |  CiteSeer   (Authority Citation)

    16) FORMAL METHODS: STATE OF THE ART AND FUTURE DIRECTIONS  
    By Edmund M. Clarke    Jeannette M. Wing
    Date  November 1996
    Refs | Theme tree | Cited by 176 |  CiteSeer  

    17) ON THE RELATIONSHIP BETWEEN PROCESS ALGEBRA AND INPUT/OUTPUT AUTOMATA (EXTENDED ABSTRACT)  
    By
    Date  April 1995
    Refs | Theme tree | Cited by 28 |  CiteSeer   (Authority Citation)

    18) LIVENESS IN TIMED AND UNTIMED SYSTEMS  
    By Jrgen Sgaard-andersen    Nancy Lynch    Rainer Gawlick    Roberto Segala
    Date  June 1997
    Refs | Theme tree | Cited by 52 |  CiteSeer  

    19) CASPER: A COMPILER FOR THE ANALYSIS OF SECURITY PROTOCOLS  
    By Gavin Lowe
    Date  July 1998
    Refs | Theme tree | Cited by 75 |  CiteSeer  

    20) REQUIREMENTS SPECIFICATION FOR PROCESS-CONTROL SYSTEMS  
    By Holly Hildreth    Jon D. Reese    Mats P. E. Heimdahl    Nancy G. Leveson
    Date  September 1999
    Refs | Theme tree | Cited by 106 |  CiteSeer  

    21) A FOUNDATION FOR ACTOR COMPUTATION  
    By Carolyn L. Talcott    Gul Agha    Ian A. Mason    Scott F. Smith
    Date  October 1994
    Refs | Theme tree | Cited by 83 |  CiteSeer  

    22) GAMES AND FULL COMPLETENESS FOR MULTIPLICATIVE LINEAR LOGIC  
    By Radha Jagadeesan    Samson Abramsky
    Date  March 2003
    Refs | Theme tree | Cited by 128 |  CiteSeer  

    23) THE NATURE OF SYNCHRONISATION  
    By Jane Hillston
    Date  June 1997
    Refs | Theme tree | Cited by 27 |  CiteSeer  

    24) A PROCESS ALGEBRAIC APPROACH TO THE SPECIFICATION AND ANALYSIS OF RESOURCE-BOUND REAL-TIME SYSTEMS  
    By Insup Lee    Richard Gerber
    Date  March 1996
    Refs | Theme tree | Cited by 49 |  CiteSeer  

    25) COMMUNICATING REACTIVE PROCESSES  
    By G. Berry    R. K. Shyamasundar    S. Ramesh
    Date  January 1970
    Refs | Theme tree | Cited by 48 |  CiteSeer  

  • Next 25 articles...