×

zbMATH — the first resource for mathematics

Bengtson, Jesper

Compute Distance To:
Author ID: bengtson.jesper Recent zbMATH articles by "Bengtson, Jesper"
Published as: Bengtson, Jesper
Documents Indexed: 12 Publications since 2004

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 67 times in 54 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
Formalising the pi-calculus using nominal logic. Zbl 1168.68030
Bengtson, Jesper; Parrow, Joachim
8
2009
Formalising the \(\pi\)-calculus using nominal logic. Zbl 1168.68436
Bengtson, Jesper; Parrow, Joachim
7
2007
Psi-calculi in Isabelle. Zbl 1252.68247
Bengtson, Jesper; Parrow, Joachim
6
2009
Charge! A framework for higher-order separation logic in Coq. Zbl 1360.68741
Bengtson, Jesper; Jensen, Jonas Braband; Birkedal, Lars
5
2012
Psi-calculi in Isabelle. Zbl 1356.68175
Bengtson, Jesper; Parrow, Joachim; Weber, Tjark
4
2016
Verifying object-oriented programs with higher-order separation logic in Coq. Zbl 1342.68203
Bengtson, Jesper; Jensen, Jonas Braband; Sieczkowski, Filip; Birkedal, Lars
3
2011
Extended pi-calculi. Zbl 1155.68473
Johansson, Magnus; Parrow, Joachim; Victor, Björn; Bengtson, Jesper
2
2008
Extensible and efficient automation through reflective tactics. Zbl 1335.68234
Malecha, Gregory; Bengtson, Jesper
2
2016
A completeness proof for bisimulation in the pi-calculus using Isabelle. Zbl 1278.68212
Bengtson, Jesper; Parrow, Joachim
1
2007
Psi-calculi in Isabelle. Zbl 1356.68175
Bengtson, Jesper; Parrow, Joachim; Weber, Tjark
4
2016
Extensible and efficient automation through reflective tactics. Zbl 1335.68234
Malecha, Gregory; Bengtson, Jesper
2
2016
Charge! A framework for higher-order separation logic in Coq. Zbl 1360.68741
Bengtson, Jesper; Jensen, Jonas Braband; Birkedal, Lars
5
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
Verifying object-oriented programs with higher-order separation logic in Coq. Zbl 1342.68203
Bengtson, Jesper; Jensen, Jonas Braband; Sieczkowski, Filip; Birkedal, Lars
3
2011
Formalising the pi-calculus using nominal logic. Zbl 1168.68030
Bengtson, Jesper; Parrow, Joachim
8
2009
Psi-calculi in Isabelle. Zbl 1252.68247
Bengtson, Jesper; Parrow, Joachim
6
2009
Extended pi-calculi. Zbl 1155.68473
Johansson, Magnus; Parrow, Joachim; Victor, Björn; Bengtson, Jesper
2
2008
Formalising the \(\pi\)-calculus using nominal logic. Zbl 1168.68436
Bengtson, Jesper; Parrow, Joachim
7
2007
A completeness proof for bisimulation in the pi-calculus using Isabelle. Zbl 1278.68212
Bengtson, Jesper; Parrow, Joachim
1
2007
all top 5

Cited by 115 Authors

7 Parrow, Joachim
5 Bengtson, Jesper
3 Åman Pohjola, Johannes
3 Johansen, Christian
3 Normann, Håkon
3 Pientka, Brigitte
3 Urban, Christian
2 Aceto, Luca
2 Barendregt, Hendrik Pieter
2 Borgström, Johannes
2 Cheney, James
2 De Nicola, Rocco
2 Fábregas, Ignacio
2 García-Pérez, Álvaro
2 Given-Wilson, Thomas
2 Hüttel, Hans
2 Ingólfsdóttir, Anna
2 Johansson, Magnus M.
2 Kaliszyk, Cezary
2 Legay, Axel
2 Liu, Jia
2 Malecha, Gregory
2 Momigliano, Alberto
2 Ortega-Mallén, Yolanda
2 Troels Hildebrandt, Thomas
2 van Glabbeek, Robert Jan
2 Victor, Björn
2 Weber, Tjark
1 Abel, Andreas M.
1 Allais, Guillaume
1 Alrahman, Yehia Abd
1 Ambal, Guillaume
1 Anand, Abhishek
1 Appel, Andrew W.
1 Arapinis, Myrto
1 Beringer, Lennart
1 Boulier, Simon
1 Bourke, Timothy
1 Cao, Qinxiang
1 Charguéraud, Arthur
1 Cimini, Matteo
1 Cohen, Arjeh Marcel
1 Cohen, Cyril
1 Cristescu, Ioana Domnina
1 Cuijpers, Pieter J. L.
1 Darais, David
1 de Melo, Ana C. V.
1 Delaune, Stéphanie
1 Dodds, Josiah
1 Eriksson, Lars-Henrik
1 Ferrari, Gian Luigi
1 Forsberg Gutkovas, Ramūnas
1 Forster, Yannick
1 Gabbay, Murdoch James
1 Georges, Aina Linn
1 Gheri, Lorenzo
1 Grütter, Samuel
1 Hameer, Aliya
1 Henrio, Ludovic
1 Hirschi, Lucca
1 Hirschkoff, Daniel
1 Höfner, Peter
1 Horne, Ross
1 Huang, Shuqin
1 John, Mathias
1 Kammüller, Florian
1 Khadim, U.
1 Krebbers, Robbert
1 Kunze, Fabian
1 Lenglet, Sergueï
1 Lhoussaine, Cédric
1 Lin, Huimin
1 Loreti, Michele
1 Lutz, Bianca
1 Madiot, Jean-Marie
1 Matiello, Pedro
1 Medić, Doriana
1 Mezzina, Claudio Antares
1 Mousavi, Mohamamdreza
1 Murawska, Agata
1 Niehren, Joachim
1 Nielson, Flemming
1 Olarte, Carlos
1 Otis, Shawn
1 Paviotti, Marco
1 Perera, Roly
1 Phillips, Iain W.
1 Pollack, Randy
1 Pottier, François
1 Pugliese, Rosario
1 Raabjerg, Palle
1 Reniers, Michel Adriaan
1 Ricciotti, Wilmer
1 Riis Nielson, Hanne
1 Ritter, Eike
1 Rueda, Camilo
1 Ryan, Mark Dermot
1 Sangiorgi, Davide
1 Sato, Masahiko
1 Schäfer, Steven
...and 15 more Authors

Citations by Year