×

zbMATH — the first resource for mathematics

Victor, Björn

Compute Distance To:
Author ID: victor.bjorn Recent zbMATH articles by "Victor, Björn"
Published as: Victor, Björn
Documents Indexed: 14 Publications since 1998, including 2 Books

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 76 times in 62 Documents Cited by Year
Psi-calculi: a framework for mobile processes with nominal data and logic. Zbl 1213.68399
Bengtson, Jesper; Johansson, Magnus; Parrow, Joachim; Victor, Björn
29
2011
Relationally staged computations in calculi of mobile processes. Zbl 1271.68183
Ghani, Neil; Yemane, Kidane; Victor, Björn
11
2004
Concurrent constraints in the fusion calculus. (Extended abstract). Zbl 0915.03029
Victor, Björn; Parrow, Joachim
8
1998
A fully abstract encoding of the \(\pi\)-calculus with data terms (extended abstract). Zbl 1085.68594
Baldamus, Michael; Parrow, Joachim; Victor, Björn
7
2005
Solo diagrams. Zbl 1087.68607
Laneve, Cosimo; Parrow, Joachim; Victor, Björn
6
2001
Broadcast psi-calculi with an application to wireless protocols. Zbl 1350.68041
Borgström, Johannes; Huang, Shuqin; Johansson, Magnus; Raabjerg, Palle; Victor, Björn; Åman Pohjola, Johannes; Parrow, Joachim
5
2011
A sorted semantic framework for applied process calculi (extended abstract). Zbl 1348.68158
Borgström, Johannes; Gutkovas, Ramūnas; Parrow, Joachim; Victor, Björn; Åman Pohjola, Johannes
3
2014
Modelling fusion calculus using HD-automata. Zbl 1151.68527
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio; Victor, Björn; Yemane, Kidane
3
2005
Extended pi-calculi. Zbl 1155.68473
Johansson, Magnus; Parrow, Joachim; Victor, Björn; Bengtson, Jesper
2
2008
A sorted semantic framework for applied process calculi. Zbl 1448.68331
Borgström, Johannes; Gutkovas, Ramūnas; Parrow, Joachim; Victor, Björn; Pohjola, Johannes Åman
1
2016
Computing strong and weak bisimulations for psi-calculi. Zbl 1277.68192
Johansson, Magnus; Victor, Björn; Parrow, Joachim
1
2012
A sorted semantic framework for applied process calculi. Zbl 1448.68331
Borgström, Johannes; Gutkovas, Ramūnas; Parrow, Joachim; Victor, Björn; Pohjola, Johannes Åman
1
2016
A sorted semantic framework for applied process calculi (extended abstract). Zbl 1348.68158
Borgström, Johannes; Gutkovas, Ramūnas; Parrow, Joachim; Victor, Björn; Åman Pohjola, Johannes
3
2014
Computing strong and weak bisimulations for psi-calculi. Zbl 1277.68192
Johansson, Magnus; Victor, Björn; Parrow, Joachim
1
2012
Psi-calculi: a framework for mobile processes with nominal data and logic. Zbl 1213.68399
Bengtson, Jesper; Johansson, Magnus; Parrow, Joachim; Victor, Björn
29
2011
Broadcast psi-calculi with an application to wireless protocols. Zbl 1350.68041
Borgström, Johannes; Huang, Shuqin; Johansson, Magnus; Raabjerg, Palle; Victor, Björn; Åman Pohjola, Johannes; Parrow, Joachim
5
2011
Extended pi-calculi. Zbl 1155.68473
Johansson, Magnus; Parrow, Joachim; Victor, Björn; Bengtson, Jesper
2
2008
A fully abstract encoding of the \(\pi\)-calculus with data terms (extended abstract). Zbl 1085.68594
Baldamus, Michael; Parrow, Joachim; Victor, Björn
7
2005
Modelling fusion calculus using HD-automata. Zbl 1151.68527
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio; Victor, Björn; Yemane, Kidane
3
2005
Relationally staged computations in calculi of mobile processes. Zbl 1271.68183
Ghani, Neil; Yemane, Kidane; Victor, Björn
11
2004
Solo diagrams. Zbl 1087.68607
Laneve, Cosimo; Parrow, Joachim; Victor, Björn
6
2001
Concurrent constraints in the fusion calculus. (Extended abstract). Zbl 0915.03029
Victor, Björn; Parrow, Joachim
8
1998
all top 5

Cited by 102 Authors

7 Parrow, Joachim
6 Montanari, Ugo G.
3 Åman Pohjola, Johannes
3 Borgström, Johannes
3 Ciancia, Vincenzo
3 Hirschkoff, Daniel
3 Johansen, Christian
3 Madiot, Jean-Marie
3 Normann, Håkon
3 Staton, Sam
2 Bengtson, Jesper
2 Bonchi, Filippo
2 Buscemi, Maria Grazia
2 De Nicola, Rocco
2 Ferrari, Gian Luigi
2 Fu, Yuxi
2 Given-Wilson, Thomas
2 Gorla, Daniele
2 Hüttel, Hans
2 Johansson, Magnus M.
2 Laurent, Olivier
2 Legay, Axel
2 Liu, Jia
2 Pugliese, Rosario
2 Tiezzi, Francesco
2 Troels Hildebrandt, Thomas
2 van Glabbeek, Robert Jan
2 Victor, Björn
2 Weber, Tjark
1 Alrahman, Yehia Abd
1 Arapinis, Myrto
1 Barendregt, Hendrik Pieter
1 Beffara, Emmanuel
1 Bialkiewicz, Joël-Alexis
1 Cimini, Matteo
1 Cristescu, Ioana Domnina
1 Cuijpers, Pieter J. L.
1 de Melo, Ana C. V.
1 Delaune, Stéphanie
1 Ehrhard, Thomas
1 Eriksson, Lars-Henrik
1 Fiore, Marcelo P.
1 Forsberg Gutkovas, Ramūnas
1 Gabbay, Murdoch James
1 Gadducci, Fabio
1 Gardner, Philippa Anne
1 Ghassemi, Fatemeh
1 Henrio, Ludovic
1 Hirschi, Lucca
1 Höfner, Peter
1 Honda, Kohei
1 Huang, Shuqin
1 John, Mathias
1 Kaliszyk, Cezary
1 Kammüller, Florian
1 Khadim, U.
1 Khosravi, Ramtin
1 Kozen, Dexter C.
1 Kurz, Alexander
1 Lhoussaine, Cédric
1 Lin, Huimin
1 Loreti, Michele
1 Lutz, Bianca
1 Mamouras, Konstantinos
1 Matiello, Pedro
1 Maurel, François
1 Mazza, Damiano
1 Medić, Doriana
1 Mezzina, Claudio Antares
1 Miculan, Marino
1 Mousavi, Mohamamdreza
1 Niehren, Joachim
1 Nielson, Flemming
1 Olarte, Carlos
1 Peschanski, Frédéric
1 Petrisan, Daniela Luan
1 Phillips, Iain W.
1 Popescu, Andrei
1 Portmann, Marius
1 Power, John
1 Raabjerg, Palle
1 Raja, Nouman
1 Reniers, Michel Adriaan
1 Riis Nielson, Hanne
1 Ritter, Eike
1 Rueda, Camilo
1 Ryan, Mark Dermot
1 Sammartino, Matteo
1 Sangiorgi, Davide
1 Shyamasundar, Rudrapatna Kallikote
1 Silva, Alexandra
1 Tan, Wee Lum
1 Tanaka, Miki
1 Tuosto, Emilio
1 Uhrmacher, Adelinde M.
1 Valencia, Frank D.
1 Vigo, Roberto
1 Wischik, Lucian
1 Xian, Xu
1 Xu, Xian
...and 2 more Authors

Citations by Year