scientific article; zbMATH DE number 7288621

MaRDI QIDQ5141619

Johannes Åman Pohjola

Publication date: 18 December 2020

Full work available at URL: https://arxiv.org/abs/1909.06692

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

process algebrabisimulationnominal logicpsi-calculiinteractive theorem proving

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (1)

Psi-calculi revisited: connectivity and compositionality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new approach to abstract syntax with variable binding
• A framework for security analysis of mobile wireless networks
• A behavioural theory for a \(\pi\)-calculus with preorders
• Nominal techniques in Isabelle/HOL
• The chemical abstract machine
• A calculus of mobile processes. II
• The revised report on the syntactic theories of sequential control and state
• Decoding choice encodings
• Towards a unified approach to encodability and separation results for process calculi
• Explicit fusions
• Is It a “Good” Encoding of Mixed Choice?
• Psi-calculi: a framework for mobile processes with nominal data and logic
• A Behavioural Theory for a π-calculus with Preorders
• Proved trees
• Name-Passing Calculi: From Fusions to Preorders and Types
• On Distributability in Process Calculi
• Psi-calculi in Isabelle

This page was built for publication: