Cited in
(53)- A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models
- A partition refinement algorithm for the -calculus
- Behavior analysis for validating communication patterns
- Bisimulation verification using the up to techniques
- Modeling ontology evolution via pi-calculus
- Encoding cryptographic primitives in a calculus with polyadic synchronisation
- Self-assembling trees
- ACVisualizer: A visualization tool for APi-calculus
- Computing strong and weak bisimulations for psi-calculi
- Formal Methods in Software and Systems Modeling
- CONCUR 2004 - Concurrency Theory
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
- A logical and computational theory of located resource
- A static analysis of cryptographic processes: the denotational approach
- Bisimulations in the join-calculus
- ACVisualizer
- SIGREF
- BISIMULATOR
- M-TREE
- Petruchio
- Facile
- Pict
- TVT
- tKlaim
- fc2tools
- ContentCVS
- PIC2LNT
- MMC
- Concurrency Workbench
- PEP
- Overture Tool
- VDMTools
- Mec 5
- SPEC
- VERSA
- mCRL
- Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus
- Explicit substitutions for \(\pi\)-congruences
- 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
- Computing bisimulations for finite-control \(\pi\)-calculus
- Global computing in a dynamic network of tuple spaces
- Formalising the pi-calculus using nominal logic
- A theory of structural stationarity in the \(\pi\)-calculus
- A compositional Petri net translation of general -calculus terms
- scientific article; zbMATH DE number 7407774 (Why is no real title available?)
- Algebra and logic for resource-based systems modelling
- A polynomial translation of \(\pi\)-calculus FCPS to safe Petri nets
- Symbolic transition graph and its early bisimulation checking algorithms for the \(\pi\)-calculus
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
- PIC2LNT: model transformation for model checking an applied pi-calculus
- Modelling and Verifying Mobile Systems Using π-Graphs
This page was built for software: MWB
