Article

The anchored version of the temporal framework

Authors:

Zohar Manna,

Amir PnueliAuthors Info & Claims

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop

Pages 201 - 284

Published: 30 May 1988 Publication History

Abstract

No abstract available.

Cited By

View all

Ferrère TMaler ONičković DPnueli A(2019)From Real-time Logic to Timed AutomataJournal of the ACM10.1145/328697666:3(1-31)Online publication date: 23-May-2019
https://dl.acm.org/doi/10.1145/3286976
Faran RKupferman O(2018)Spanning the spectrum from safety to livenessActa Informatica10.1007/s00236-017-0307-455:8(703-732)Online publication date: 1-Dec-2018
https://dl.acm.org/doi/10.1007/s00236-017-0307-4
Maretić GDashti MBasin DHenzinger TMiller D(2014)Anchored LTL separationProceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1145/2603088.2603139(1-9)Online publication date: 14-Jul-2014
https://dl.acm.org/doi/10.1145/2603088.2603139
Show More Cited By

Recommendations

Version control in crosscutting framework-based development
SAC '08: Proceedings of the 2008 ACM symposium on Applied computing

Crosscutting Frameworks are a type of Aspect-Oriented Framework, which includes only one crosscutting concern, such as persistence, distribution or security. This type of framework is currently being researched in-depth, however little attention has ...
Temporally anchored relation extraction
ACL '12: Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics: Long Papers - Volume 1

Although much work on relation extraction has aimed at obtaining static facts, many of the target relations are actually fluents, as their validity is naturally anchored to a certain time period. This paper proposes a methodological approach to ...
Temporal Granularity: Completing the Puzzle

Granularity is an integral feature of both anchored (e.g., 25 October 1995, July 1996) and unanchored (e.g., 3 minutes, 6 hours 20 minutes, 5 days) temporal data. In supporting temporal data that is specified in different granularities, numerous ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop

May 1988

713 pages

ISBN:354051080X

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 30 May 1988

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

19
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 03 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ferrère TMaler ONičković DPnueli A(2019)From Real-time Logic to Timed AutomataJournal of the ACM10.1145/328697666:3(1-31)Online publication date: 23-May-2019
https://dl.acm.org/doi/10.1145/3286976
Faran RKupferman O(2018)Spanning the spectrum from safety to livenessActa Informatica10.1007/s00236-017-0307-455:8(703-732)Online publication date: 1-Dec-2018
https://dl.acm.org/doi/10.1007/s00236-017-0307-4
Maretić GDashti MBasin DHenzinger TMiller D(2014)Anchored LTL separationProceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1145/2603088.2603139(1-9)Online publication date: 14-Jul-2014
https://dl.acm.org/doi/10.1145/2603088.2603139
Chowdhury OGampe ANiu Jvon Ronne JBennatt JDatta AJia LWinsborough WConti MVaidya JSchaad A(2013)Privacy promises that can be keptProceedings of the 18th ACM symposium on Access control models and technologies10.1145/2462410.2462423(3-14)Online publication date: 12-Jun-2013
https://dl.acm.org/doi/10.1145/2462410.2462423
Salamah SGates ARoach SEngskow M(2011)Towards support for software model checkingAdvances in Software Engineering10.1155/2011/8691822011(1-13)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.1155/2011/869182
Yang CDuan Z(2010)Compositional verification with stutter-invariant propositional projection temporal logicProceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I10.5555/1981573.1981624(272-280)Online publication date: 23-Jul-2010
https://dl.acm.org/doi/10.5555/1981573.1981624
Balbiani PBroersen JBrunel J(2009)Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of ObligationsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2009.02.030231(69-89)Online publication date: 1-Mar-2009
https://dl.acm.org/doi/10.1016/j.entcs.2009.02.030
Winwood SKlein GChakravarty M(2006)On the automated synthesis of proof-carrying temporal reference monitorsProceedings of the 16th international conference on Logic-based program synthesis and transformation10.5555/1759187.1759200(111-126)Online publication date: 12-Jul-2006
https://dl.acm.org/doi/10.5555/1759187.1759200
Augusto JG'omez RTortora GChang S(2002)A temporal logic view of paradigm modelsProceedings of the 14th international conference on Software engineering and knowledge engineering10.1145/568760.568847(497-503)Online publication date: 15-Jul-2002
https://dl.acm.org/doi/10.1145/568760.568847
(2002)Testing preorders for probabilistic processes can be characterized by simulationsTheoretical Computer Science10.1016/S0304-3975(01)00044-5282:1(33-51)Online publication date: 7-Jun-2002
https://dl.acm.org/doi/10.1016/S0304-3975%2801%2900044-5
Show More Cited By

Abstract

Cited By

Recommendations

Version control in crosscutting framework-based development

Temporally anchored relation extraction

Temporal Granularity: Completing the Puzzle

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations