Searching for "Denotational Semantics of Parallelism." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
A Truly Concurrent Semantics for a Simple Parallel Programming Language
- … concurrent denotational, i.e., compositional semantics for a simple, deterministic parallel language…
- Cited by 1 (1 self) – Add To MetaCart
-
Compositional Verification of Real-Time Applications
- ….1 Denotational Semantics of Parallel Composition Theory Sem defines the type Comps of components by imposing…
- Cited by 7 (3 self) – Add To MetaCart
-
Formal Verification of the Binary Exponential Backoff Protocol
- … and Hiding In this section a denotational semantics of parallel composition and hiding is defined. 7 4…
- Cited by 1 (0 self) – Add To MetaCart
-
The Semantics of Data Flow Diagrams
- …(P ) There is a problem with denoting the semantics of parallel path expressions. We adopt the convention of [6…
- Cited by 14 (4 self) – Add To MetaCart
-
A brief history of process algebra
- … denotational semantics for parallel composition. Bekič tackled this problem in [18]. This internal report…
- Cited by 19 (0 self) – Add To MetaCart
-
Using Object-Z to Specify Object-Oriented Programming Languages
- … contributed to the research work on the semantics of OOPLs. The denotational semantics of the parallel object…
- Cited by 3 (2 self) – Add To MetaCart
-
Deriving Operational Semantics from Denotational Semantics for Verilog
- … rules for parallel, we first give an overview of the denotational semantics for parallel. The trace…
- Add To MetaCart
-
Algebraic Theory of Probabilistic and Nondeterministic Processes
- …, as well as a denotational semantics and a proof system. We show that the equivalence between…
- Cited by 2 (0 self) – Add To MetaCart
-
Chapter 6. An Investigation into Functions as Processes
- … of object-oriented languages Two interesting approaches to the denotational semantics of parallel object…
- Add To MetaCart
Showing 1 through 9.
