swMATH4395MaRDI QIDQ16571FDOQ16571
Author name not available (Why is that?)
Official website: http://www.it.uu.se/research/group/mobility/mwb
Cited In (51)
- 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
- A logical and computational theory of located resource
- 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
- SIGREF
- M-TREE
- Petruchio
- Explicit substitutions for \(\pi\)-congruences
- Facile
- Pict
- TVT
- tKlaim
- fc2tools
- ContentCVS
- PIC2LNT
- MMC
- Concurrency Workbench
- PEP
- Overture Tool
- VDMTools
- Mec 5
- SPEC
- VERSA
- mCRL
- 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 polynomial translation of \(\pi\)-calculus FCPS to safe Petri nets
- Symbolic transition graph and its early bisimulation checking algorithms for the \(\pi\)-calculus
- PIC2LNT: model transformation for model checking an applied 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
