Warning: strtotime() [function.strtotime]: It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected 'America/Los_Angeles' for 'PDT/-7.0/DST' instead in /home/readro5/public_html/kenmcmil/pubs/bibtexbrowser.php on line 344

Warning: strtotime() [function.strtotime]: It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected 'America/Los_Angeles' for 'PDT/-7.0/DST' instead in /home/readro5/public_html/kenmcmil/pubs/bibtexbrowser.php on line 344

Warning: header() [function.header]: It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected 'America/Los_Angeles' for 'PDT/-7.0/DST' instead in /home/readro5/public_html/kenmcmil/pubs/bibtexbrowser.php on line 4109

A Structural Induction Theorem for Processes (bibtex)
A Structural Induction Theorem for Processes (bibtex)
by Robert P. Kurshan and Kenneth L. McMillan
Reference:
A Structural Induction Theorem for Processes (Robert P. Kurshan and Kenneth L. McMillan), In Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, Edmonton, Alberta, Canada, August 14-16, 1989, 1989.
Bibtex Entry:
@inproceedings{DBLP:conf/podc/KurshanM89,
author    = {Robert P. Kurshan and
Kenneth L. McMillan},
title     = {A Structural Induction Theorem for Processes},
booktitle = {Proceedings of the Eighth Annual {ACM} Symposium on Principles of
Distributed Computing, Edmonton, Alberta, Canada, August 14-16, 1989},
pages     = {239--247},
year      = {1989},
url       = {PODC89.pdf},
doi       = {10.1145/72981.72998},
timestamp = {Wed, 23 May 2012 14:26:11 +0200},
biburl    = {https://dblp.org/rec/bib/conf/podc/KurshanM89},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.6187229752540588, "perplexity": 6917.110241965957}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2019-22/segments/1558232258120.87/warc/CC-MAIN-20190525144906-20190525170906-00390.warc.gz"}