ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
A complete proof system for SCCS with modal assertions
Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science
◽
10.1007/3-540-16042-6_22
◽
1985
◽
pp. 392-410
◽
Cited By ~ 8
Author(s):
Glynn Winskel
Keyword(s):
Proof System
◽
Complete Proof
Download Full-text
Related Documents
Cited By
References
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
◽
10.1145/3373718.3394744
◽
2020
◽
Author(s):
Clemens Grabmayer
◽
Wan Fokkink
Keyword(s):
Proof System
◽
Regular Expressions
◽
Complete Proof
Download Full-text
A Complete Proof System for SCCS with Modal Assertions
Fundamenta Informaticae
◽
10.3233/fi-1986-9403
◽
1986
◽
Vol 9
(4)
◽
pp. 401-419
Author(s):
Glynn Winskel
Keyword(s):
Proof System
◽
Complete Proof
Download Full-text
An adaptation-complete proof system for local reasoning about cloud storage systems
Theoretical Computer Science
◽
10.1016/j.tcs.2021.12.018
◽
2021
◽
Author(s):
Zhao Jin
◽
Bowen Zhang
◽
Lei Zhang
◽
Yongzhi Cao
◽
Hanpin Wang
Keyword(s):
Cloud Storage
◽
Storage Systems
◽
Proof System
◽
Complete Proof
◽
Local Reasoning
Download Full-text
A sound and complete proof system for partial program correctness
Mathematical Foundations of Computer Science 1979 - Lecture Notes in Computer Science
◽
10.1007/3-540-09526-8_1
◽
1979
◽
pp. 1-12
Author(s):
J. W. Bakker
Keyword(s):
Proof System
◽
Program Correctness
◽
Complete Proof
Download Full-text
On mechanizing proofs within a complete proof system for Unity
Algebraic Methodology and Software Technology - Lecture Notes in Computer Science
◽
10.1007/3-540-60043-4_67
◽
1995
◽
pp. 400-415
◽
Cited By ~ 1
Author(s):
Naïma Brown
◽
Abdelillah Mokkedem
Keyword(s):
Proof System
◽
Complete Proof
Download Full-text
A complete proof system for timed observations
TAPSOFT '91 - Lecture Notes in Computer Science
◽
10.1007/3-540-53982-4_23
◽
1991
◽
pp. 412-440
◽
Cited By ~ 4
Author(s):
Yolanda Ortega-Mallén
◽
David Frutos-Escrig
Keyword(s):
Proof System
◽
Complete Proof
Download Full-text
A sound and complete proof system for probabilistic processes
Transformation-Based Reactive Systems Development - Lecture Notes in Computer Science
◽
10.1007/3-540-63010-4_23
◽
1997
◽
pp. 340-352
◽
Cited By ~ 3
Author(s):
F. Cuartero Gómez
◽
D. de Frutos Escrig
◽
V. Valero Ruiz
Keyword(s):
Proof System
◽
Complete Proof
◽
Probabilistic Processes
Download Full-text
A sound and complete proof system for a unified temporal logic
Theoretical Computer Science
◽
10.1016/j.tcs.2020.05.015
◽
2020
◽
Vol 838
◽
pp. 25-44
Author(s):
Liang Zhao
◽
Xiaobing Wang
◽
Xinfeng Shu
◽
Nan Zhang
Keyword(s):
Temporal Logic
◽
Proof System
◽
Complete Proof
Download Full-text
A complete proof system for Nested Term Graphs
Higher-Order Algebra, Logic, and Term Rewriting - Lecture Notes in Computer Science
◽
10.1007/3-540-61254-8_20
◽
1996
◽
pp. 74-89
Author(s):
Stefan Blom
Keyword(s):
Proof System
◽
Complete Proof
Download Full-text
A Complete Proof System for First-order Interval Temporal Logic with Projection
Journal of Logic and Computation
◽
10.1093/logcom/14.2.215
◽
2004
◽
Vol 14
(2)
◽
pp. 215-249
◽
Cited By ~ 13
Author(s):
D. P. Guelev
Keyword(s):
Temporal Logic
◽
Proof System
◽
Order Interval
◽
Complete Proof
◽
First Order
◽
Interval Temporal Logic
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close