The mobility workbench — A tool for the π-Calculus B Victor, F Moller Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994 | 419 | 1994 |
The fusion calculus: Expressiveness and symmetry in mobile processes J Parrow, B Victor Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998 | 304 | 1998 |
Psi-calculi: a framework for mobile processes with nominal data and logic J Bengtson, M Johansson, J Parrow Logical Methods in Computer Science 7, 2011 | 101 | 2011 |
A verification tool for the polyadic π-calculus B Victor Licentiate thesis, Department of Computer Systems, Uppsala University, Sweden, 1994 | 92 | 1994 |
Psi-calculi: Mobile processes, nominal data, and logic J Bengtson, M Johansson, J Parrow, B Victor 2009 24th Annual IEEE Symposium on Logic In Computer Science, 39-48, 2009 | 77 | 2009 |
The update calculus J Parrow, B Victor International Conference on Algebraic Methodology and Software Technology …, 1997 | 64 | 1997 |
The fusion calculus: Expressiveness and symmetry in mobile processes. BIF Victor | 59 | 1999 |
On the expressiveness of linearity vs persistence in the asychronous pi-calculus C Palamidessi, V Saraswat, FD Valencia, B Victor 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 59-68, 2006 | 57 | 2006 |
Broadcast psi-calculi with an application to wireless protocols J Borgström, S Huang, M Johansson, P Raabjerg, B Victor, ... Software & Systems Modeling 14, 201-216, 2015 | 55 | 2015 |
The mobility workbench user’s guide: Polyadic version 3.122 B Victor Department of Information Technology, Uppsala University, 1995 | 45* | 1995 |
Solos in concert C Laneve, B Victor Mathematical Structures in Computer Science 13 (5), 657-683, 2003 | 42 | 2003 |
Concurrent constraints in the fusion calculus B Victor, J Parrow International Colloquium on Automata, Languages, and Programming, 455-469, 1998 | 40 | 1998 |
Solo diagrams C Laneve, J Parrow, B Victor Theoretical Aspects of Computer Software: 4th International Symposium, TACS …, 2001 | 37 | 2001 |
The tau-laws of fusion J Parrow, B Victor International Conference on Concurrency Theory, 99-114, 1998 | 32 | 1998 |
Delayed evaluation of gigabit protocols P Gunningberg, C Partridge, T Sirotkin, B Victor Proceedings of the 2nd MultiG Workshop, 1991 | 32 | 1991 |
Solos in concert C Laneve, B Victor Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 1999 | 31 | 1999 |
Constraints as processes B Victor, J Parrow International Conference on Concurrency Theory, 389-405, 1996 | 31 | 1996 |
A Fully Abstract Encoding of the π-Calculus with Data Terms: M Baldamus, J Parrow, B Victor International Colloquium on Automata, Languages, and Programming, 1202-1213, 2005 | 27 | 2005 |
Spi calculus translated to/spl pi/-calculus preserving may-tests M Baldamus, J Parrow, B Victor Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004 | 26 | 2004 |
Relationally staged computations in calculi of mobile processes N Ghani, K Yemane, B Victor Electronic Notes in Theoretical Computer Science 106, 105-120, 2004 | 25 | 2004 |