Searching for "Duration Calculus of Weakly Monotonic Time." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Duration Calculus of Weakly Monotonic Time
- …/IIST International Institute for Software Technology P.O. Box 3058 Macau Duration Calculus of Weakly Monotonic Time…
- Cited by 20 (10 self) – Add To MetaCart
-
Towards a Formal Semantics of Verilog using Duration Calculus
- …/IIST, P.O. Box 3058, Macau Duration Calculus of Weakly Monotonic Time with Infinite Intervals and Fixed…
- Cited by 8 (2 self) – Add To MetaCart
-
Towards a Formal Semantics of Verilog using Duration Calculus?
- … of concurrency. The logic is calledDuration Calculus of Weakly Monotonic Time with Infinite Intervals and Fixed…
- Add To MetaCart
-
A Calculus of Durations on Abstract Domains: Completeness and Extensions
- … calculus and duration calculus for weakly monotonic time [PD97]. Dimitar P. Guelev is a ph. d. student…
- Cited by 9 (8 self) – Add To MetaCart
-
Compositional Reasoning Using the Assumption-Commitment Paradigm
- ….2 Duration Calculus with Weakly Monotonic Time and Infinite Intervals . . . . . . 8 4 Compositional…
- Cited by 2 (0 self) – Add To MetaCart
-
Iteration of Simple Formulas in Duration Calculus
- …, such as duration calculus of weakly monotonic time [PD97]. Extensions of this kind are significant, because…
- Cited by 6 (5 self) – Add To MetaCart
-
Real-time Systems Development with Duration Calculus: an Overview
- … Calculus [10], Duration Calculus with Weakly Monotonic Time [40] and Two-Dimension Duration Calculus [2…
- Cited by 8 (4 self) – Add To MetaCart
Showing 1 through 7.
