article

Partial orderings of event sets and their application to prototyping concurrent, timed systems

Authors:

Frank BelzAuthors Info & Claims

Journal of Systems and Software, Volume 21, Issue 3

Pages 253 - 265

https://doi.org/10.1016/0164-1212(93)90027-U

Published: 01 June 1993 Publication History

Abstract

No abstract available.

Cited By

View all

Chen CHong ZJiang J(2022)Scheduling in Real-Time Mobile SystemsACM Transactions on Embedded Computing Systems10.1145/351774721:3(1-36)Online publication date: 28-May-2022
https://dl.acm.org/doi/10.1145/3517747
Jiang JZhu HLi QZhao YZhang SGong PHong Z(2020)Event-based functional decompositionInformation and Computation10.1016/j.ic.2019.104484271:COnline publication date: 1-Apr-2020
https://dl.acm.org/doi/10.1016/j.ic.2019.104484
Jiang JHong ZChen Y(2019)Modeling and Analyzing Incremental Natures of Developing SoftwareACM Transactions on Management Information Systems10.1145/333353510:2(1-32)Online publication date: 10-Jul-2019
https://dl.acm.org/doi/10.1145/3333535
Show More Cited By

Index Terms

Partial orderings of event sets and their application to prototyping concurrent, timed systems
1. Computing methodologies
  1. Concurrent computing methodologies
    1. Concurrent programming languages
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Concurrent programming languages

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Journal of Systems and Software

Journal of Systems and Software Volume 21, Issue 3

Special issue on applying specification, verification, and validation techniques to industrial software systems

June 1993

118 pages

ISSN:0164-1212

Editors:
Robert L. Glass
Computing Trends, State College, PA
,
James M. Bieman
Colorado State Univ., Fort Collins
,
Pradip K. Srimani
Colorado State Univ., Fort Collins

Issue’s Table of Contents

Publisher

Elsevier Science Inc.

United States

Publication History

Published: 01 June 1993

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

22
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

Chen CHong ZJiang J(2022)Scheduling in Real-Time Mobile SystemsACM Transactions on Embedded Computing Systems10.1145/351774721:3(1-36)Online publication date: 28-May-2022
https://dl.acm.org/doi/10.1145/3517747
Jiang JZhu HLi QZhao YZhang SGong PHong Z(2020)Event-based functional decompositionInformation and Computation10.1016/j.ic.2019.104484271:COnline publication date: 1-Apr-2020
https://dl.acm.org/doi/10.1016/j.ic.2019.104484
Jiang JHong ZChen Y(2019)Modeling and Analyzing Incremental Natures of Developing SoftwareACM Transactions on Management Information Systems10.1145/333353510:2(1-32)Online publication date: 10-Jul-2019
https://dl.acm.org/doi/10.1145/3333535
Jiang JZhu HLi QZhao YHong ZZhang SGong P(2019)Isolation Modeling and Analysis Based on MobilityACM Transactions on Software Engineering and Methodology10.1145/330660628:2(1-31)Online publication date: 26-Feb-2019
https://dl.acm.org/doi/10.1145/3306606
Jiang JZhu HLi QZhao YZhao LZhang SGong PHong ZChen D(2017)Event-Based Mobility Modeling and AnalysisACM Transactions on Cyber-Physical Systems10.1145/28233531:2(1-32)Online publication date: 20-Feb-2017
https://dl.acm.org/doi/10.1145/2823353
Jiang JZhu HLi QZhao YZhao LZhang SGong PHong Z(2015)Analyzing Event-Based Scheduling in Concurrent Reactive SystemsACM Transactions on Embedded Computing Systems10.1145/278343814:4(1-27)Online publication date: 24-Sep-2015
https://dl.acm.org/doi/10.1145/2783438
Gupta RDe Micheli G(2001)Hardware-software cosynthesis for digital systemsReadings in hardware/software co-design10.5555/567003.567005(5-17)Online publication date: 1-Jun-2001
https://dl.acm.org/doi/10.5555/567003.567005
Hasselbring W(2000)Programming languages and systems for prototyping concurrent applicationsACM Computing Surveys10.1145/349194.34919932:1(43-79)Online publication date: 1-Mar-2000
https://dl.acm.org/doi/10.1145/349194.349199
Nyland LPrins JGoldberg AMills P(2000)A Design Methodology for Data-Parallel ApplicationsIEEE Transactions on Software Engineering10.1109/32.84449126:4(293-314)Online publication date: 1-Apr-2000
https://dl.acm.org/doi/10.1109/32.844491
Medvidovic NTaylor R(2000)A Classification and Comparison Framework for Software Architecture Description LanguagesIEEE Transactions on Software Engineering10.1109/32.82576726:1(70-93)Online publication date: 1-Jan-2000
https://dl.acm.org/doi/10.1109/32.825767
Show More Cited By

Cited By

Index Terms

Recommendations

Discrete Event Systems With Standard and Partial Synchronizations / Ereignisdiskrete Systeme mit Standardsynchronisation und partieller Synchronisation

Partial orderings of event sets and their application to prototyping concurrent timed systems

Model Predictive Control for Partial Differential Equations

Comments

Published In

Publisher

Publication History

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

Abstract

Cited By

Index Terms

Recommendations

Discrete Event Systems With Standard and Partial Synchronizations / Ereignisdiskrete Systeme mit Standardsynchronisation und partieller Synchronisation

Partial orderings of event sets and their application to prototyping concurrent timed systems

Model Predictive Control for Partial Differential Equations

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