Research graph
References from Reasoning About Concurrent Loops and Recursion with Rely-Guarantee Rules. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/978-1-4612-1674-2
10.1007/978-1-4612-1674-2 · External reference
10.1007/s002360050163
10.1007/s002360050163 · 1999 · External reference
10.1007/s00165-004-0060-7
10.1007/s00165-004-0060-7 · 2005 · External reference
10.1145/954587.954588
10.1145/954587.954588 · External reference
Unresolved reference
External reference
10.1007/s00165-009-0141-8
10.1007/s00165-009-0141-8 · 2010 · External reference
10.1007/s00165-011-0213-4
10.1007/s00165-011-0213-4 · 2011 · External reference
10.1145/2984450.2984457
10.1145/2984450.2984457 · 2016 · External reference
10.1093/logcom/exm030
10.1093/logcom/exm030 · 2007 · External reference
Unresolved reference
External reference
10.7551/mitpress/5641.003.0016.
10.7551/mitpress/5641.003.0016. · External reference
10.1007/s00165-017-0416-4
10.1007/s00165-017-0416-4 · 2017 · External reference
Unresolved reference
External reference
10.1145/360933.360975
10.1145/360933.360975 · 1975 · External reference
Unresolved reference
External reference
10.1007/s001650200032
10.1007/s001650200032 · 2002 · External reference
Unresolved reference
External reference
10.1007/978-3-540-71316-6_13
10.1007/978-3-540-71316-6_13 · 2007 · External reference
10.1007/978-1-4612-5983-1
10.1007/978-1-4612-5983-1 · External reference
10.1007/s00165-016-0384-0
10.1007/s00165-016-0384-0 · 2016 · External reference
10.1007/978-3-319-48989-6_22
10.1007/978-3-319-48989-6_22 · 2016 · External reference
10.1007/978-3-319-95582-7_13
10.1007/978-3-319-95582-7_13 · 2018 · External reference
10.1007/978-3-030-31038-7_9
10.1007/978-3-030-31038-7_9 · 2019 · External reference
10.1145/3801150
10.1145/3801150 · External reference
10.1007/978-3-031-68279-7_9
10.1007/978-3-031-68279-7_9 · External reference
Unresolved reference
External reference
10.48550/arxiv.2103.15292.
10.48550/arxiv.2103.15292. · External reference
10.1007/s00165-018-0464-4
10.1007/s00165-018-0464-4 · 2018 · External reference
10.1145/363235.363259.
10.1145/363235.363259. · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1145/69575.69577
10.1145/69575.69577 · 1983 · External reference
Unresolved reference
External reference
10.1016/j.jlamp.2016.01.002
10.1016/j.jlamp.2016.01.002 · External reference
10.1007/978-3-319-22969-0_1
10.1007/978-3-319-22969-0_1 · 2015 · External reference
10.1109/formalise58978.2023.00019
10.1109/formalise58978.2023.00019 · External reference
10.1007/978-3-031-66673-5_1
10.1007/978-3-031-66673-5_1 · External reference
10.1016/0304-3975(83)90114-7
10.1016/0304-3975(83)90114-7 · 1983 · External reference
Unresolved reference
External reference
10.1007/3-540-45949-9
10.1007/3-540-45949-9 · External reference
10.1016/j.tcs.2006.12.035
10.1016/j.tcs.2006.12.035 · 2007 · External reference
10.1007/3-540-36575-3_24
10.1007/3-540-36575-3_24 · External reference
10.1109/lics.2002.1029817
10.1109/lics.2002.1029817 · External reference
10.1145/3436808
10.1145/3436808 · 2021 · External reference
10.1007/s10472-013-9389-z
10.1007/s10472-013-9389-z · 2014 · External reference
10.48550/arxiv.2404.16624
10.48550/arxiv.2404.16624 · External reference
10.1007/3-540-54430-5_110
10.1007/3-540-54430-5_110 · 1991 · External reference
Unresolved reference
External reference
10.48456/tr-726
10.48456/tr-726 · External reference
10.1016/j.scico.2003.09.002
10.1016/j.scico.2003.09.002 · 2004 · External reference
10.48456/tr-774
10.48456/tr-774 · External reference
10.1007/978-3-642-11957-6_32
10.1007/978-3-642-11957-6_32 · 2010 · External reference
10.1007/bf01211617
10.1007/bf01211617 · 1997 · External reference
10.1007/3-540-36575-3_24
10.1007/3-540-36575-3_24 · ExternalCitation · doi-reference
10.1007/3-540-45949-9
10.1007/3-540-45949-9 · ExternalCitation · doi-reference
10.1007/3-540-54430-5_110
10.1007/3-540-54430-5_110 · ExternalCitation · doi-reference
10.1007/978-1-4612-1674-2
10.1007/978-1-4612-1674-2 · ExternalCitation · doi-reference
10.1007/978-1-4612-5983-1
10.1007/978-1-4612-5983-1 · ExternalCitation · doi-reference
10.1007/978-3-030-31038-7_9
10.1007/978-3-030-31038-7_9 · ExternalCitation · doi-reference
10.1007/978-3-031-66673-5_1
10.1007/978-3-031-66673-5_1 · ExternalCitation · doi-reference
10.1007/978-3-031-68279-7_9
10.1007/978-3-031-68279-7_9 · ExternalCitation · doi-reference
10.1007/978-3-319-22969-0_1
10.1007/978-3-319-22969-0_1 · ExternalCitation · doi-reference
10.1007/978-3-319-48989-6_22
10.1007/978-3-319-48989-6_22 · ExternalCitation · doi-reference
10.1007/978-3-319-95582-7_13
10.1007/978-3-319-95582-7_13 · ExternalCitation · doi-reference
10.1007/978-3-540-71316-6_13
10.1007/978-3-540-71316-6_13 · ExternalCitation · doi-reference
10.1007/978-3-642-11957-6_32
10.1007/978-3-642-11957-6_32 · ExternalCitation · doi-reference
10.1007/bf01211617
10.1007/bf01211617 · ExternalCitation · doi-reference
10.1007/s00165-004-0060-7
10.1007/s00165-004-0060-7 · ExternalCitation · doi-reference
10.1007/s00165-009-0141-8
10.1007/s00165-009-0141-8 · ExternalCitation · doi-reference
10.1007/s00165-011-0213-4
10.1007/s00165-011-0213-4 · ExternalCitation · doi-reference
10.1007/s00165-016-0384-0
10.1007/s00165-016-0384-0 · ExternalCitation · doi-reference
10.1007/s00165-017-0416-4
10.1007/s00165-017-0416-4 · ExternalCitation · doi-reference
10.1007/s00165-018-0464-4
10.1007/s00165-018-0464-4 · ExternalCitation · doi-reference
10.1007/s001650200032
10.1007/s001650200032 · ExternalCitation · doi-reference
10.1007/s002360050163
10.1007/s002360050163 · ExternalCitation · doi-reference
10.1007/s10472-013-9389-z
10.1007/s10472-013-9389-z · ExternalCitation · doi-reference
10.1016/0304-3975(83)90114-7
10.1016/0304-3975(83)90114-7 · ExternalCitation · doi-reference
10.1016/j.jlamp.2016.01.002
10.1016/j.jlamp.2016.01.002 · ExternalCitation · doi-reference
10.1016/j.scico.2003.09.002
10.1016/j.scico.2003.09.002 · ExternalCitation · doi-reference
10.1016/j.tcs.2006.12.035
10.1016/j.tcs.2006.12.035 · ExternalCitation · doi-reference
10.1093/logcom/exm030
10.1093/logcom/exm030 · ExternalCitation · doi-reference
10.1109/formalise58978.2023.00019
10.1109/formalise58978.2023.00019 · ExternalCitation · doi-reference
10.1109/lics.2002.1029817
10.1109/lics.2002.1029817 · ExternalCitation · doi-reference
10.1145/2984450.2984457
10.1145/2984450.2984457 · ExternalCitation · doi-reference
10.1145/3436808
10.1145/3436808 · ExternalCitation · doi-reference
10.1145/360933.360975
10.1145/360933.360975 · ExternalCitation · doi-reference
10.1145/363235.363259.
10.1145/363235.363259. · ExternalCitation · doi-reference
10.1145/3801150
10.1145/3801150 · ExternalCitation · doi-reference
10.1145/69575.69577
10.1145/69575.69577 · ExternalCitation · doi-reference
10.1145/954587.954588
10.1145/954587.954588 · ExternalCitation · doi-reference
10.48456/tr-726
10.48456/tr-726 · ExternalCitation · doi-reference
10.48456/tr-774
10.48456/tr-774 · ExternalCitation · doi-reference
10.48550/arxiv.2103.15292.
10.48550/arxiv.2103.15292. · ExternalCitation · doi-reference
10.48550/arxiv.2404.16624
10.48550/arxiv.2404.16624 · ExternalCitation · doi-reference
10.7551/mitpress/5641.003.0016.
10.7551/mitpress/5641.003.0016. · ExternalCitation · doi-reference
