Article

Proving Precedence Properties: The Temporal Way

Authors:

Zohar Manna,

Amir PnueliAuthors Info & Claims

Proceedings of the 10th Colloquium on Automata, Languages and Programming

Pages 491 - 512

Published: 18 July 1983 Publication History

Abstract

No abstract available.

Cited By

View all

Sánchez PÁlvarez BMorales JAlonso DIborra A(2016)An approach to modeling and developing teleo-reactive systems considering timing constraintsJournal of Systems and Software10.1016/j.jss.2016.03.064117:C(317-333)Online publication date: 1-Jul-2016
https://dl.acm.org/doi/10.1016/j.jss.2016.03.064
Mattolini RNesi P(2001)An Interval Logic for Real-Time System SpecificationIEEE Transactions on Software Engineering10.1109/32.91085827:3(208-227)Online publication date: 1-Mar-2001
https://dl.acm.org/doi/10.1109/32.910858
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

Proving Precedence Properties: The Temporal Way
1. Mathematics of computing
  1. Discrete mathematics
2. Theory of computation

Recommendations

Proving precedence properties: the temporal way
Proving temporal properties of concurrent programs: a non-temporal approach
Online Scheduling of Precedence Constrained Tasks

A fundamental problem in scheduling theory is that of scheduling a set of n tasks, with precedence constraints, on $m \ge 1$ identical and parallel processors so as to minimize the makespan (schedule length). In the past, research has focused on the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Proceedings of the 10th Colloquium on Automata, Languages and Programming

July 1983

733 pages

ISBN:3540123172

Editor:
Josep Díaz

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 18 July 1983

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Sánchez PÁlvarez BMorales JAlonso DIborra A(2016)An approach to modeling and developing teleo-reactive systems considering timing constraintsJournal of Systems and Software10.1016/j.jss.2016.03.064117:C(317-333)Online publication date: 1-Jul-2016
https://dl.acm.org/doi/10.1016/j.jss.2016.03.064
Mattolini RNesi P(2001)An Interval Logic for Real-Time System SpecificationIEEE Transactions on Software Engineering10.1109/32.91085827:3(208-227)Online publication date: 1-Mar-2001
https://dl.acm.org/doi/10.1109/32.910858
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
Wing JNixon M(1989)Extending Ina Jo with Temporal LogicIEEE Transactions on Software Engineering10.1109/32.2174415:2(181-197)Online publication date: 1-Feb-1989
https://dl.acm.org/doi/10.1109/32.21744
Lichtenstein OPnueli AVan Deusen MGalil ZReid B(1985)Checking that finite state concurrent programs satisfy their linear specificationProceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages10.1145/318593.318622(97-107)Online publication date: 1-Jan-1985
https://dl.acm.org/doi/10.1145/318593.318622
Gerth RDeMillo R(1984)Transition logicProceedings of the sixteenth annual ACM symposium on Theory of computing10.1145/800057.808664(39-50)Online publication date: 1-Dec-1984
https://dl.acm.org/doi/10.1145/800057.808664

Abstract

Cited By

Recommendations

Proving precedence properties: the temporal way

Proving temporal properties of concurrent programs: a non-temporal approach

Online Scheduling of Precedence Constrained Tasks

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