Pages that link to "Item:Q3003314"

The following pages link to Psi-calculi: a framework for mobile processes with nominal data and logic (Q3003314):

Displaying 39 items.

• Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
• ASP\(_{\text{fun}}\) : a typed functional active object calculus (Q433340) (← links)
• Repairing time-determinism in the process algebra for hybrid systems (Q442292) (← links)
• Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
• A calculus of quality for robustness against unreliable communication (Q492911) (← links)
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols (Q511946) (← links)
• A complete symbolic bisimulation for full applied pi calculus (Q1758155) (← links)
• Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
• Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
• Session-based concurrency, declaratively (Q2120811) (← links)
• Expressiveness of concurrent intensionality (Q2193283) (← links)
• A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
• A calculus for collective-adaptive systems and its behavioural theory (Q2272994) (← links)
• A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
• Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
• Stateful applied pi calculus: observational equivalence and labelled bisimilarity (Q2397042) (← links)
• A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
• The Expressive Power of Monotonic Parallel Composition (Q2802500) (← links)
• A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
• A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract) (Q2830029) (← links)
• Typed ψ-calculi (Q3090835) (← links)
• Broadcast Psi-calculi with an Application to Wireless Protocols (Q3095234) (← links)
• PiStache: Implementing π-Calculus in Scala (Q3098054) (← links)
• Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem (Q3100205) (← links)
• Nominal SOS (Q3178277) (← links)
• Binary Session Types for Psi-Calculi (Q3179282) (← links)
• On the Expressiveness of Symmetric Communication (Q3179397) (← links)
• (Q3384912) (← links)
• (Q3384917) (← links)
• A Behavioural Theory for a π-calculus with Preorders (Q3455864) (← links)
• (Q5141619) (← links)
• (Q5155663) (← links)
• A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus (Q5738986) (← links)
• (Q5856409) (← links)
• Psi-calculi in Isabelle (Q5890661) (← links)
• Psi-calculi in Isabelle (Q5895110) (← links)
• When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
• The reflective higher-order calculus: encodability, typability and separation (Q6124241) (← links)
• A generic type system for higher-order \(\Psi\)-calculi (Q6614878) (← links)