Protocol Verification Using Relational Database Systems.

@inproceedings{DBLP:conf/icde/LaiL87,
  author    = {Ming-Yee Lai and
               Tony T. Lee},
  title     = {Protocol Verification Using Relational Database Systems},
  booktitle = {Proceedings of the Third International Conference on Data Engineering,
               February 3-5, 1987, Los Angeles, California, USA},
  publisher = {IEEE Computer Society},
  year      = {1987},
  isbn      = {0-8186-0762-9},
  pages     = {347-354},
  ee        = {db/conf/icde/LaiL87.html},
  crossref  = {DBLP:conf/icde/87},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1987 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-6 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

References

[1]

...

[2]

...

[3]

Daniel Brand, Pitro Zafiropulo: On Communicating Finite-State Machines. J. ACM 30(2): 323-342(1983)

[4]

E. F. Codd: Relational Completeness of Data Base Sublanguages. In: R. Rustin (ed.): Database Systems: 65-98, Prentice Hall and IBM Research Report RJ 987, San Jose, California : (1972)

[5]

...

[6]

David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
Contents

[7]

Dale Skeen, Michael Stonebraker: A Formal Model of Crash Recovery in a Distributed System. IEEE Trans. Software Eng. 9(3): 219-228(1983)

[8]

...

[9]

...

[10]

...

[11]

...

[12]

...

Referenced by

1. Mahdi Abdelguerfi, Arun K. Sood: Computational Complexity of Sorting and Joining Relations with Duplicates. IEEE Trans. Knowl. Data Eng. 3(4): 496-503(1991)
2. I-En Liao, Ming T. Liu: Incremental Protocol Verfication Using Deductive Database Systems. ICDE 1989: 216-223

Last update Fri May 25 08:18:02 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page