Björn Victor

Björn Victor

Uppsala University - Uppsala / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 1151524
Uppsala Universitet
person_outline Björn Victor's MOST POPULAR ARTICLES
1-) The mobility workbench — A tool for the π-CalculusB Victor, F MollerInternational Conference on Computer Aided Verification, 428-440, 19944001994
2-) The fusion calculus: Expressiveness and symmetry in mobile processesJ Parrow, B VictorProceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 19983051998
3-) Psi-calculi: a framework for mobile processes with nominal data and logicJ Bengtson, M Johansson, J Parrow, BA VictorarXiv preprint arXiv:1101.3262, 20111012011
4-) A verification tool for the polyadic π-calculusB VictorLicentiate thesis, Department of Computer Systems, Uppsala University, Sweden, 1994911994
5-) Psi-calculi: Mobile processes, nominal data, and logicJ Bengtson, M Johansson, J Parrow, B Victor2009 24th Annual IEEE Symposium on Logic In Computer Science, 39-48, 2009792009