Searching for "Deterministic concurrent systems." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
BriX - A Deterministic Concurrent Functional X Windows System
- …BriX - A Deterministic Concurrent Functional X Windows System Preliminary Report Pascal Serrarens…
- Add To MetaCart
-
Semi-Decisions in the Validation of Dependable Systems
- … for non-deterministic, concurrent systems. When using non-interpreted modeling [3], where data…
- Cited by 5 (3 self) – Add To MetaCart
-
Efficient Performance Analysis of Asynchronous Systems Based on Periodicity
- … variations. There are other formalisms that are used in practice to model deterministic concurrent systems…
- Add To MetaCart
-
Time and Asynchrony in Distributed Computing
- … systems as well as their behavioral ones. This thesis studies a concurrency theory for reasoning about…
- Cited by 1 (0 self) – Add To MetaCart
-
Properties Incompleteness Evaluation by Functional Verification
- … consider deterministic concurrent systems described by a retroactive network of two FSMs (Fig. 2): I, which…
- Add To MetaCart
-
On the Connection of Partial Order Logics and Partial Order Reduction Methods
- … of (deterministic) concurrent systems we consider computation trees over an alphabet of actions, such that words…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 6.
