Skip to content
<title>Channels - Semantics and Algorithms for Parametric Monitoring :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Semantics and Algorithms for Parametric Monitoring
Search for more channels:
Similar Items: Semantics and Algorithms for Parametric Monitoring
Channel Options
View Record
Explore related channels
Quick Look
On completeness and parametricity in the realizability semantics of System F
Quick Look
Parametric updates in parametric timed automata
Quick Look
Relational Parametricity and Control
Quick Look
Relational Parametricity and Separation Logic
Quick Look
Relational Parametricity for Computational Effects
Quick Look
Parametricity for Nested Types and GADTs
Quick Look
Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
Quick Look
Internal Parametricity for Cubical Type Theory
Quick Look
Reachability and liveness in parametric timed automata
Quick Look
Language Preservation Problems in Parametric Timed Automata
Quick Look
A case study on parametric verification of failure detectors
Quick Look
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
Quick Look
Architectures in parametric component-based systems: Qualitative and quantitative modelling
Quick Look
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
Quick Look
Identifiability of Causal Graphs under Non-Additive Conditionally Parametric Causal Models
Quick Look
Explicit fairness in testing semantics
Quick Look
Sampled Semantics of Timed Automata
Quick Look
Globally Governed Session Semantics
Quick Look
Bialgebraic Semantics for Logic Programming
Quick Look
Initial Semantics for Reduction Rules
Quick Look
Presentable signatures and initial semantics
Quick Look
Quantitative Semantics for Jumping Automata
Quick Look
Parametric a Priori-Aided Beamspace Channel Tracking for Terahertz Massive MIMO Systems
Quick Look
Generic Trace Semantics via Coinduction
Load more items
View Record
Prev
Explore related channels
Next
