Skip to content
<title>Channels - On Sessions and Infinite Data :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
On Sessions and Infinite Data
Search for more channels:
Similar Items: On Sessions and Infinite Data
Channel Options
View Record
Explore related channels
Quick Look
Affine Sessions
Quick Look
Infinite and Bi-infinite Words with Decidable Monadic Theories
Quick Look
Multiparty Session Actors
Quick Look
Timed Session Types
Quick Look
Separating Sessions Smoothly
Quick Look
Infinite Probabilistic Databases
Quick Look
On the Preciseness of Subtyping in Session Types
Quick Look
Parameterised Multiparty Session Types
Quick Look
Globally Governed Session Semantics
Quick Look
Modular session types for objects
Quick Look
Fair Asynchronous Session Subtyping
Quick Look
Boundedness in languages of infinite words
Quick Look
Infinite sequential Nash equilibrium
Quick Look
Characterising memory in infinite games
Quick Look
The Expansion Problem for Infinite Trees
Quick Look
Retractability, games and orchestrators for session contracts
Quick Look
On Global Types and Multi-Party Session
Quick Look
Relating Functional and Imperative Session Types
Quick Look
Deconfined Global Types for Asynchronous Sessions
Quick Look
Power of Randomization in Automata on Infinite Strings
Quick Look
Degrees of Lookahead in Regular Infinite Games
Quick Look
Modeling and Verification of Infinite Systems with Resources
Quick Look
Coalgebraic Infinite Traces and Kleisli Simulations
Quick Look
Regular matching problems for infinite trees
Load more items
View Record
Prev
Explore related channels
Next
