Searching for "Testing Equivalences for Processes." – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Trace and Testing Equivalence on Asynchronous Processes
- …Trace and Testing Equivalence on Asynchronous Processes Michele Boreale Rocco De Nicola Rosario…
- Cited by 22 (1 self) – Add To MetaCart
-
The Efficient Symbolic Tools Package
- … processes, checking strong and weak observational equivalence and 3 checking testing equivalence. Parallel…
- Cited by 5 (3 self) – Add To MetaCart
-
The Efficient Symbolic Tools Package
- … and 3 checking testing equivalence. Parallel composition is used to compose processes together. A…
- Add To MetaCart
-
A Calculus for Cryptographic Protocols -- Lecture Notes
- … on cryptographic protocols [NS78]. • De Nicola and Hennessy [DH84] first studied testing equivalence for process…
- Add To MetaCart
-
Concurrent Programming as Proof Net Construction
- … equivalences for processes, which are based on a concept of interface and use the power of proof theory…
- Cited by 3 (0 self) – Add To MetaCart
-
Information Hiding, Anonymity and Privacy: A Modular Approach
- … is the specification of a security protocol in a cryptographic process calculus whose notion of equivalence is testing…
- Cited by 22 (0 self) – Add To MetaCart
-
Performance Analysis of a 2-D-Multipulse Amplitude Modulation Scheme for Data Hiding and Watermarking of Still Images
- …. In the sequel we will consider both tests as equivalent processes. Suppose that the watermarke…
- Cited by 39 (7 self) – Add To MetaCart
-
ROCVM: A Formal Execution Model for High Assurance, Heterogeneous Distributed Computing.
- … be recast as testing the equivalence of process expressions [17]. It is also easier to prove logical…
- Add To MetaCart
-
Model Checking via Reachability Testing for Timed Automata
- …], and is inspired by the pioneering work by De Nicola and Hennessy on testing equivalence for processes [DNH84]. 6…
- Cited by 32 (11 self) – Add To MetaCart
-
Some Results on Cross Viewpoint Consistency Checking
- … not imply standard semantic equivalence; the equivalences of FDTs (such as observational and testing…
- Cited by 11 (8 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
