MWB

swMATH4395MaRDI QIDQ16571FDOQ16571

Author name not available (Why is that?)

Cited In (32)

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

This page was built for software: MWB