MWB
From MaRDI portal
Software:16571
No author found.
Related Items (32)
From a concurrent λ-calculus to the π-calculus ⋮ CONCUR 2004 - Concurrency Theory ⋮ Global computing in a dynamic network of tuple spaces ⋮ PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus ⋮ A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models ⋮ Computing strong and weak bisimulations for psi-calculi ⋮ Symbolic transition graph and its early bisimulation checking algorithms for the \(\pi\)-calculus ⋮ Computing bisimulations for finite-control \(\pi\)-calculus ⋮ ACVisualizer: A visualization tool for APi-calculus ⋮ A compositional Petri net translation of general \(\pi\)-calculus terms ⋮ Formal Methods in Software and Systems Modeling ⋮ Modeling ontology evolution via pi-calculus ⋮ An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems ⋮ A static analysis of cryptographic processes: the denotational approach ⋮ Encoding cryptographic primitives in a calculus with polyadic synchronisation ⋮ Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types ⋮ Modelling and Verifying Mobile Systems Using π-Graphs ⋮ Bisimulation verification using the up to techniques ⋮ Explicit substitutions for \(\pi\)-congruences ⋮ Bisimulations in the join-calculus ⋮ Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus ⋮ A theory of structural stationarity in the \(\pi\)-calculus ⋮ Formalising the pi-calculus using nominal logic ⋮ Algebra and logic for resource-based systems modelling ⋮ A Practical Approach to Verification of Mobile Systems Using Net Unfoldings ⋮ Behavioral equivalence in the polymorphic pi-calculus ⋮ A Logical and Computational Theory of Located Resource ⋮ A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets ⋮ Unnamed Item ⋮ A partition refinement algorithm for the \(\pi\)-calculus ⋮ Behavior analysis for validating communication patterns ⋮ Self-assembling Trees
This page was built for software: MWB
