Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"Communicating Sequential Processes (CSP)"”.
-
Symbolic semantics for CSP
Communicating Sequential Processes (CSP) is a well-known formal language for describing concurrent systems, for which a transition semantics has been given by Brookes, Hoare and Roscoe. In this thesis, we present a generalized transition semantics of CSP, which we call HCSP, that merges the …
-
Concurrent protocol data unit encoding/decoding : algorithms, architectures and performance evaluation
… algorithms is then conceptualized, where the Communicating Sequential Processes (CSP) notation is used as the basis of formalism to specify the model. Using the distributed implementation model, a taxonomy for different architectural models for PDU encoders/decoders is presented. A customized …
-
High-Level CSP Model Compiler for FPGAs
… exhibit their desired functionality following communicating sequential processes (CSP) model of computation. CSP model of computation introduces a good handshaking mechanism between different components in the design that makes designs less prone to timing violations during implementation and …
-
A formal methodology for the verification of concurrent systems
… thesis investigates the use of the formal method Communicating Sequential Processes (CSP) for the verification of a safety critical control application. CSP is a discrete event based process algebra which has a compositional axiomatic semantics that supports verification by formal proof. The …
-
NAT2TEST: generating test cases from natural language requirements based on CSP
… Finally, this formal model is translated into communicating sequential processes (CSP) to provide means for generating test cases. We prove that our test generation strategy is sound with respect to our timed input-output conformance relation based on CSP: csptio. Besides CSP, we explore the …
-
Multi-Sincronização em menssage sequence charts
… é dada em termos da álgebra de processos CSP (Communicating Sequential Processes). O formalismo introduzido na notação de Message Sequence Charts com CSP permite mostrar a equivalência entre um diagrama na notação de MSC estendido e seu correspondente descrito em MSC padrão, gerado a …