Skip to content
<title>Channels - Multiparty testing preorders :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Multiparty testing preorders
Search for more channels:
Similar Items: Multiparty testing preorders
Channel Options
View Record
Explore related channels
Quick Look
Characterising Testing Preorders for Finite Probabilistic Processes
Quick Look
Multiparty Session Actors
Quick Look
Parameterised Multiparty Session Types
Quick Look
Causal Consistency for Reversible Multiparty Protocols
Quick Look
FTMPST: Fault-Tolerant Multiparty Session Types
Quick Look
Crash-Stop Failures in Asynchronous Multiparty Session Types
Quick Look
A uniform characterisation of the (a)synchronous must-preorder
Quick Look
Mutually Testing Processes
Quick Look
Off-line test selection with test purposes for non-deterministic timed automata
Quick Look
Explicit fairness in testing semantics
Quick Look
Logics with rigidly guarded data tests
Quick Look
On the Robustness of Kernel Goodness-of-Fit Tests
Quick Look
Composite Goodness-of-fit Tests with Kernels
Quick Look
Test-Time Training on Video Streams
Quick Look
Completeness Theorems for Kleene algebra with tests and top
Quick Look
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
Quick Look
Full abstraction for fair testing in CCS (expanded version)
Quick Look
On Reachability for Unidirectional Channel Systems Extended with Regular Tests
Quick Look
Design and Test of MEMS Setback Arming Device for Fuze
Quick Look
Model Checking Vector Addition Systems with one zero-test
Quick Look
Lower Bounds for Existential Pebble Games and k-Consistency Tests
Quick Look
Efficient reduction of nondeterministic automata with application to language inclusion testing
Quick Look
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
Quick Look
Wasserstein F-tests for Frechet regression on Bures-Wasserstein manifolds
Load more items
View Record
Prev
Explore related channels
Next
