Skip to content
<title>Channels - Psi-calculi: a framework for mobile processes with nominal data and logic :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Psi-calculi: a framework for mobile processes with nominal data and logic
Search for more channels:
Similar Items: Psi-calculi: a framework for mobile processes with nominal data and logic
Channel Options
View Record
Explore related channels
Quick Look
Psi-Calculi Revisited: Connectivity and Compositionality
Quick Look
Rule Formats for Nominal Process Calculi
Quick Look
A Sorted Semantic Framework for Applied Process Calculi
Quick Look
Dual-Context Calculi for Modal Logic
Quick Look
Modal Logics for Nominal Transition Systems
Quick Look
Formalising the pi-calculus using nominal logic
Quick Look
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
Quick Look
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
Quick Look
Nominal Coalgebraic Data Types with Applications to Lambda Calculus
Quick Look
Completeness of Nominal PROPs
Quick Look
Automated Synthesis of Tableau Calculi
Quick Look
The Complexity of Enriched Mu-Calculi
Quick Look
Rigorous Function Calculi in Ariadne
Quick Look
Automata theory in nominal sets
Quick Look
A dependent nominal type theory
Quick Look
Strong normalisation for applied lambda calculi
Quick Look
Enriched MU-Calculi Module Checking
Quick Look
Feasible Interpolation for QBF Resolution Calculi
Quick Look
Full abstraction for nominal general references
Quick Look
On Nominal Syntax and Permutation Fixed Points
Quick Look
Residuality and Learning for Nondeterministic Nominal Automata
Quick Look
Canonical calculi with (n,k)-ary quantifiers
Quick Look
Coalgebraic Satisfiability Checking for Arithmetic $mu$-Calculi
Quick Look
General Bindings and Alpha-Equivalence in Nominal Isabelle
Load more items
View Record
Prev
Explore related channels
Next
