Cited By
View all- Jones C(2019)Reasoning About Shared-Variable Concurrency: Interactions Between Research ThreadsFormal Methods. FM 2019 International Workshops10.1007/978-3-030-54997-8_3(54-72)Online publication date: 7-Oct-2019
Zohar Manna (1939–2018)
Pages 643 - 660
Recommendations
Real-time refinement in Manna and Pnueli's temporal logic
AbstractA refinement calculus for the development of real-time systems is presented. The calculus is based upon a wide-spectrum language called TAM (the Temporal Agent Model), within which both functional and timing properties can be expressed in either ...
Intuitionistic Trilattice Logics
We take up a suggestion by Odintsov (2009, Studia Logica, 91, 407–428) and define intuitionistic variants of certain logics arising from the trilattice SIXTEEN3 introduced in Shramko and Wansing (2005, Journal of Philosophical Logic, 34, 121–153 and ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
© British Computer Society 2019.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 01 December 2019
Published in FAC Volume 31, Issue 6
Qualifiers
- News
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 131Total Downloads
- Downloads (Last 12 months)54
- Downloads (Last 6 weeks)13
Reflects downloads up to 20 Nov 2024
Other Metrics
Citations
Cited By
View all- Jones C(2019)Reasoning About Shared-Variable Concurrency: Interactions Between Research ThreadsFormal Methods. FM 2019 International Workshops10.1007/978-3-030-54997-8_3(54-72)Online publication date: 7-Oct-2019
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in