Article

An interleaving model for real time

Authors:

Tom Henzinger,

Z. Manna,

A. PnueliAuthors Info & Claims

JCIT: Proceedings of the fifth Jerusalem conference on Information technology

Pages 717 - 730

Published: 01 September 1990 Publication History

Abstract

No abstract available.

Cited By

View all

Page E(1998)The rise of Web-based simulationProceedings of the 30th conference on Winter simulation10.5555/293172.293530(1663-1668)Online publication date: 1-Dec-1998
https://dl.acm.org/doi/10.5555/293172.293530
Henzinger TManna ZPnueli AWise D(1991)Temporal proof methodologies for real-time systemsProceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/99583.99629(353-366)Online publication date: 3-Jan-1991
https://dl.acm.org/doi/10.1145/99583.99629

Index Terms

An interleaving model for real time
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Theory of computation
  1. Logic
  2. Models of computation
    1. Computability
    2. Concurrency
      1. Parallel computing models

Recommendations

Real-time software transactional memory: contention managers, time bounds, and implementations
Thread algebra for strategic interleaving
Abstract
We take a thread as the behavior of a sequential deterministic program under execution and multi-threading as the form of concurrency provided by contemporary programming languages such as Java and C#. We outline an algebraic theory about threads ...
Updating replicated files in real time distributed processing systems (protocol, consistency, locking)

Comments

Information & Contributors

Information

Published In

JCIT: Proceedings of the fifth Jerusalem conference on Information technology

September 1990

798 pages

ISBN:0818620781

Chairmen:
Joshua Maor,
Abraham Peled

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 September 1990

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 15 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Page E(1998)The rise of Web-based simulationProceedings of the 30th conference on Winter simulation10.5555/293172.293530(1663-1668)Online publication date: 1-Dec-1998
https://dl.acm.org/doi/10.5555/293172.293530
Henzinger TManna ZPnueli AWise D(1991)Temporal proof methodologies for real-time systemsProceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/99583.99629(353-366)Online publication date: 3-Jan-1991
https://dl.acm.org/doi/10.1145/99583.99629

View Options

View options

Get Access

Login options

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

Abstract

Cited By

Index Terms

Recommendations

Real-time software transactional memory: contention managers, time bounds, and implementations

Thread algebra for strategic interleaving

Updating replicated files in real time distributed processing systems (protocol, consistency, locking)

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations