Article

METATEM: a framework for programming in temporal logic

Authors:

R. OwensAuthors Info & Claims

REX workshop: Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness

Pages 94 - 129

Published: 01 May 1990 Publication History

Abstract

No abstract available.

Cited By

View all

Fisher M(2005)METATEMProceedings of the Third international conference on Programming Multi-Agent Systems10.1007/11678823_1(3-22)Online publication date: 26-Jul-2005
https://dl.acm.org/doi/10.1007/11678823_1
Stroe BSubrahmanian VRosenschein JWooldridge MSandholm TYokoo M(2003)First order heterogeneous agent computationsProceedings of the second international joint conference on Autonomous agents and multiagent systems10.1145/860575.860610(217-224)Online publication date: 14-Jul-2003
https://dl.acm.org/doi/10.1145/860575.860610
Bellini PMattolini RNesi P(2000)Temporal logics for real-time system specificationACM Computing Surveys10.1145/349194.34919732:1(12-42)Online publication date: 1-Mar-2000
https://dl.acm.org/doi/10.1145/349194.349197
Show More Cited By

Index Terms

METATEM: a framework for programming in temporal logic

Recommendations

Temporal logic programming

Temporal logic, often used as a specification language for programs, can serve directly as a programming language. We propose a specific programming language TEMPLOG, which extends the classical PROLOG-like languages to include temporal operators. ...
Linear and temporal logic programming language
ACS'06: Proceedings of the 6th WSEAS international conference on Applied computer science

Recent logic calculi open new possibilities for logic programming. Apparently the most important of them is a linear logic which makes possible to solve problems by resources treatment. The linear logic has already been used for several proposals of ...
A framed temporal logic programming language
Abstract
We discuss the projection temporal logic (PTL), based on a primitive projection operator,prj. A framing technique is also presented, using which a synchronization operator,await, is defined within the underlying logic. A framed temporal logic ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

REX workshop: Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness

May 1990

808 pages

ISBN:0387525599

Editors:
J. W. de Bakker
Centre for Mathematics and Computer Science, Amsterdam, The Netherlands
,
W. P. de Roever
Eindhoven Univ. of Technology, Eindhoven, The Netherlands
,
G. Rozenberg
Univ. of Leiden, Leiden, The Netherlands

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 May 1990

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 07 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Fisher M(2005)METATEMProceedings of the Third international conference on Programming Multi-Agent Systems10.1007/11678823_1(3-22)Online publication date: 26-Jul-2005
https://dl.acm.org/doi/10.1007/11678823_1
Stroe BSubrahmanian VRosenschein JWooldridge MSandholm TYokoo M(2003)First order heterogeneous agent computationsProceedings of the second international joint conference on Autonomous agents and multiagent systems10.1145/860575.860610(217-224)Online publication date: 14-Jul-2003
https://dl.acm.org/doi/10.1145/860575.860610
Bellini PMattolini RNesi P(2000)Temporal logics for real-time system specificationACM Computing Surveys10.1145/349194.34919732:1(12-42)Online publication date: 1-Mar-2000
https://dl.acm.org/doi/10.1145/349194.349197
Barringer HFisher MGabbay DGough GOwens R(1995)MetateM: An introductionFormal Aspects of Computing10.1007/BF012116317:5(533-549)Online publication date: 1-Sep-1995
https://dl.acm.org/doi/10.1007/BF01211631
Keane JHussak WFadini BOsterweil Lvan Lamsweerde A(1994)A formal approach to determining parallel resource bindingsProceedings of the 16th international conference on Software engineering10.5555/257734.257738(15-22)Online publication date: 21-May-1994
https://dl.acm.org/doi/10.5555/257734.257738
Finkelstein AGabbay DHunter AKramer JNuseibeh B(1994)Inconsistency Handling in Multiperspective SpecificationsIEEE Transactions on Software Engineering10.1109/32.31066720:8(569-578)Online publication date: 1-Aug-1994
https://dl.acm.org/doi/10.1109/32.310667
Ness L(1993)L.0IEEE Transactions on Software Engineering10.1109/32.22380719:4(410-423)Online publication date: 1-Apr-1993
https://dl.acm.org/doi/10.1109/32.223807
Gabbay DMcBrien P(1991)Temporal Logic & Historical DatabasesProceedings of the 17th International Conference on Very Large Data Bases10.5555/645917.672332(423-430)Online publication date: 3-Sep-1991
https://dl.acm.org/doi/10.5555/645917.672332

Abstract

Cited By

Index Terms

Recommendations

Temporal logic programming

Linear and temporal logic programming language

A framed temporal logic programming language

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