MWB

The mobility workbench — A tool for the π-Calculus. n this paper we describe the first prototype version of the Mobility Work-bench (MWB), an automated tool for manipulating and analyzing mobile concurrent systems (those with evolving connectivity structures) described in the π-calculus. The main feature of this version of the MWB is checking open bisimulation equivalences. We illustrate the MWB with an example automated analysis of a handover protocol for a mobile telephone system

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 33 articles )

Showing results 1 to 20 of 33.
Sorted by year (citations)

1 2 next

  1. Bhattacharyya, Anirban; Mokhov, Andrey; Pierce, Ken: An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (2017)
  2. Zhang, Rui; Guo, Degui; Gao, Wenjuan; Liu, Lei: Modeling ontology evolution via pi-calculus (2016)
  3. Khomenko, Victor; Meyer, Roland; Hüchting, Reiner: A polynomial translation of (\pi)-calculus FCPS to safe Petri nets (2013)
  4. Mateescu, Radu; Salaün, Gwen: PIC2LNT: model transformation for model checking an applied pi-calculus (2013)
  5. Johansson, Magnus; Victor, Björn; Parrow, Joachim: Computing strong and weak bisimulations for psi-calculi (2012)
  6. Martinho, Joana; Ravara, António: Encoding cryptographic primitives in a calculus with polyadic synchronisation (2011)
  7. Bengtson, Jesper; Parrow, Joachim: Formalising the pi-calculus using nominal logic (2009)
  8. Collinson, Matthew; Monahan, Brian; Pym, David: A logical and computational theory of located resource (2009)
  9. Collinson, Matthew; Pym, David: Algebra and logic for resource-based systems modelling (2009)
  10. Meyer, Roland: A theory of structural stationarity in the (\pi)-calculus (2009)
  11. Peschanski, Frédéric; Bialkiewicz, Joël-Alexis: Modelling and verifying mobile systems using (\pi)-graphs (2009)
  12. Wu, Zhaohui; Deng, Shuiguang; Li, Ying; Wu, Jian: Computing compatibility in dynamic service composition (2009) ioport
  13. Ahmad, Raheel; Rahimi, Shahram: ACVisualizer: a visualization tool for APi-calculus (2008)
  14. Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej: A compositional Petri net translation of general (\pi)-calculus terms (2008)
  15. Meyer, Roland; Khomenko, Victor; Strazny, Tim: A practical approach to verification of mobile systems using net unfoldings (2008)
  16. Danos, Vincent; Krivine, Jean; Tarissan, Fabien: Self-assembling trees (2007)
  17. De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario: Global computing in a dynamic network of tuple spaces (2007)
  18. Kang, Zuling; Wang, Hongbing; Hung, Patrick C. K.: WS-CDL+ for web service collaboration (2007) ioport
  19. Chothia, Tom: Analysing the MUTE anonymous file-sharing system using the pi-calculus (2006)
  20. Aziz, Benjamin; Hamilton, Geoff; Gray, David: A static analysis of cryptographic processes: the denotational approach (2005)

1 2 next


Further publications can be found at: http://www.it.uu.se/research/group/mobility/publ