news

Open access

Zohar Manna (1939–2018)

Authors:

Nachum Dershowitz,

Richard WaldingerAuthors Info & Claims

Formal Aspects of Computing, Volume 31, Issue 6

Pages 643 - 660

https://doi.org/10.1007/s00165-019-00500-4

Published: 01 December 2019 Publication History

PDF eReader

Cited By

View all

Jones C(2023)Three Early Formal Approaches to the Verification of Concurrent ProgramsMinds and Machines10.1007/s11023-023-09621-534:S1(73-92)Online publication date: 23-Jan-2023
https://doi.org/10.1007/s11023-023-09621-5
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
https://dl.acm.org/doi/10.1007/978-3-030-54997-8_3

Recommendations

Real-time refinement in Manna and Pnueli's temporal logic
Abstract
A 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 SIXTEEN₃ introduced in Shramko and Wansing (2005, Journal of Philosophical Logic, 34, 121–153 and ...
Book Review: The Deductive Foundations of Computer Programming. By Zohar Manna and Richard Waldinger. (Addison-Wesley, 1993. xiv+717pp. ISBN 0-201-54886-0. $46.25)

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Formal Aspects of Computing Volume 31, Issue 6

Special Issue on History of Formal Methods

Dec 2019

163 pages

ISSN:0934-5043

EISSN:1433-299X

Issue’s Table of Contents

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 December 2019

Published in FAC Volume 31, Issue 6

Qualifiers

News

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
159
Total Downloads

Downloads (Last 12 months)73
Downloads (Last 6 weeks)12

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Jones C(2023)Three Early Formal Approaches to the Verification of Concurrent ProgramsMinds and Machines10.1007/s11023-023-09621-534:S1(73-92)Online publication date: 23-Jan-2023
https://doi.org/10.1007/s11023-023-09621-5
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
https://dl.acm.org/doi/10.1007/978-3-030-54997-8_3

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Real-time refinement in Manna and Pnueli's temporal logic

Intuitionistic Trilattice Logics

Book Review: The Deductive Foundations of Computer Programming. By Zohar Manna and Richard Waldinger. (Addison-Wesley, 1993. xiv+717pp. ISBN 0-201-54886-0. $46.25)

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations