×

zbMATH — the first resource for mathematics

Parrow, Joachim

Compute Distance To:
Author ID: parrow.joachim Recent zbMATH articles by "Parrow, Joachim"
Published as: Parrow, Joachim; Parrow, J.
Documents Indexed: 46 Publications since 1987, including 6 Books

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 627 times in 468 Documents Cited by Year
A calculus of mobile processes. I. Zbl 0752.68036
Milner, Robin; Parrow, Joachim; Walker, David
196
1992
A calculus of mobile processes. II. Zbl 0752.68037
Milner, Robin; Parrow, Joachim; Walker, David
166
1992
Modal logics for mobile processes. Zbl 0778.68033
Milner, Robin; Parrow, Joachim; Walker, David
47
1993
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
An introduction to the \(\pi\)-calculus. Zbl 1035.68071
Parrow, Joachim
27
2001
Algebraic theories for name-passing calculi. Zbl 0836.03020
Parrow, Joachim; Sangiorgi, Davide
23
1995
Expressiveness of process algebras. Zbl 1279.68264
Parrow, Joachim
17
2008
Deciding bisimulation equivalences for a class of non-finite-state programs. Zbl 0799.68133
Jonsson, Bengt; Parrow, Joachim
11
1993
Submodule construction as equation solving in CCS. Zbl 0686.68017
Parrow, Joachim
10
1989
An algebraic verification of a mobile network. Zbl 0782.68081
Orava, Fredrik; Parrow, Joachim
8
1992
Concurrent constraints in the fusion calculus. (Extended abstract). Zbl 0915.03029
Victor, Björn; Parrow, Joachim
8
1998
Formalising the pi-calculus using nominal logic. Zbl 1168.68030
Bengtson, Jesper; Parrow, Joachim
8
2009
Automatized verification of ad hoc routing protocols. Zbl 1110.68327
Wibling, Oskar; Parrow, Joachim; Pears, Arnold
7
2004
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
Formalising the \(\pi\)-calculus using nominal logic. Zbl 1168.68436
Bengtson, Jesper; Parrow, Joachim
7
2007
Solo diagrams. Zbl 1087.68607
Laneve, Cosimo; Parrow, Joachim; Victor, Björn
6
2001
Modal logics for nominal transition systems. Zbl 1374.68339
Parrow, Joachim; Borgström, Johannes; Eriksson, Lars-Henrik; Gutkovas, Ramunas; Weber, Tjark
6
2015
Psi-calculi in Isabelle. Zbl 1252.68247
Bengtson, Jesper; Parrow, Joachim
6
2009
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
Psi-calculi in Isabelle. Zbl 1356.68175
Bengtson, Jesper; Parrow, Joachim; Weber, Tjark
4
2016
The largest respectful function. Zbl 1448.68349
Parrow, Joachim; Weber, Tjark
4
2016
The complete axiomatization of cs-congruence. Zbl 0941.68573
Parrow, Joachim; Sjödin, Peter
4
1994
Ad hoc routing protocol verification through broadcast abstraction. Zbl 1169.68328
Wibling, Oskar; Parrow, Joachim; Pears, Arnold
3
2005
Higher-order psi-calculi. Zbl 1342.68239
Parrow, Joachim; Borgström, Johannes; Raabjerg, Palle; Pohjola, Johannes Åman
3
2014
General conditions for full abstraction. Zbl 1361.68085
Parrow, Joachim
3
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
The expressive power of monotonic parallel composition. Zbl 1335.68039
Åman Pohjola, Johannes; Parrow, Joachim
2
2016
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
Automata, languages and programming. 30th international colloquium, ICALP 2003, Eindhoven, The Netherland, June 30 – July 4, 2003. Proceedings. Zbl 1029.00041
Baeten, Jos C. M. (ed.); Lenstra, Jan Karel (ed.); Parrow, Joachim (ed.); Woeginger, Gerhard J. (ed.)
1
2003
A completeness proof for bisimulation in the pi-calculus using Isabelle. Zbl 1278.68212
Bengtson, Jesper; Parrow, Joachim
1
2007
CONCUR ’94: concurrency theory. 5th International Conference, Uppsala, Sweden, August 22–25, 1994. Proceedings. Zbl 0825.68132
Jonsson, Bengt (ed.); Parrow, Joachim (ed.)
1
1994
Computing strong and weak bisimulations for psi-calculi. Zbl 1277.68192
Johansson, Magnus; Victor, Björn; Parrow, Joachim
1
2012
Psi-calculi in Isabelle. Zbl 1356.68175
Bengtson, Jesper; Parrow, Joachim; Weber, Tjark
4
2016
The largest respectful function. Zbl 1448.68349
Parrow, Joachim; Weber, Tjark
4
2016
General conditions for full abstraction. Zbl 1361.68085
Parrow, Joachim
3
2016
The expressive power of monotonic parallel composition. Zbl 1335.68039
Åman Pohjola, Johannes; Parrow, Joachim
2
2016
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
Modal logics for nominal transition systems. Zbl 1374.68339
Parrow, Joachim; Borgström, Johannes; Eriksson, Lars-Henrik; Gutkovas, Ramunas; Weber, Tjark
6
2015
Higher-order psi-calculi. Zbl 1342.68239
Parrow, Joachim; Borgström, Johannes; Raabjerg, Palle; Pohjola, Johannes Åman
3
2014
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
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
Expressiveness of process algebras. Zbl 1279.68264
Parrow, Joachim
17
2008
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
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
Ad hoc routing protocol verification through broadcast abstraction. Zbl 1169.68328
Wibling, Oskar; Parrow, Joachim; Pears, Arnold
3
2005
Automatized verification of ad hoc routing protocols. Zbl 1110.68327
Wibling, Oskar; Parrow, Joachim; Pears, Arnold
7
2004
Automata, languages and programming. 30th international colloquium, ICALP 2003, Eindhoven, The Netherland, June 30 – July 4, 2003. Proceedings. Zbl 1029.00041
Baeten, Jos C. M.; Lenstra, Jan Karel; Parrow, Joachim; Woeginger, Gerhard J.
1
2003
An introduction to the \(\pi\)-calculus. Zbl 1035.68071
Parrow, Joachim
27
2001
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
Algebraic theories for name-passing calculi. Zbl 0836.03020
Parrow, Joachim; Sangiorgi, Davide
23
1995
The complete axiomatization of cs-congruence. Zbl 0941.68573
Parrow, Joachim; Sjödin, Peter
4
1994
CONCUR ’94: concurrency theory. 5th International Conference, Uppsala, Sweden, August 22–25, 1994. Proceedings. Zbl 0825.68132
Jonsson, Bengt; Parrow, Joachim
1
1994
Modal logics for mobile processes. Zbl 0778.68033
Milner, Robin; Parrow, Joachim; Walker, David
47
1993
Deciding bisimulation equivalences for a class of non-finite-state programs. Zbl 0799.68133
Jonsson, Bengt; Parrow, Joachim
11
1993
A calculus of mobile processes. I. Zbl 0752.68036
Milner, Robin; Parrow, Joachim; Walker, David
196
1992
A calculus of mobile processes. II. Zbl 0752.68037
Milner, Robin; Parrow, Joachim; Walker, David
166
1992
An algebraic verification of a mobile network. Zbl 0782.68081
Orava, Fredrik; Parrow, Joachim
8
1992
Submodule construction as equation solving in CCS. Zbl 0686.68017
Parrow, Joachim
10
1989
all top 5

Cited by 570 Authors

18 Fu, Yuxi
18 Montanari, Ugo G.
17 Yoshida, Nobuko
14 Sangiorgi, Davide
12 Busi, Nadia
10 Honda, Kohei
10 Parrow, Joachim
10 Zavattaro, Gianluigi
9 Hennessy, Matthew C. B.
9 Nestmann, Uwe
8 De Nicola, Rocco
7 Bruni, Roberto
7 Ferrari, Gian Luigi
7 Gorla, Daniele
7 Hüttel, Hans
6 Aceto, Luca
6 Ciancia, Vincenzo
6 Dezani-Ciancaglini, Mariangiola
6 Ingólfsdóttir, Anna
6 Olarte, Carlos
6 Priami, Corrado
6 Pugliese, Rosario
6 Tiezzi, Francesco
6 Tiu, Alwen Fernanto
5 Berger, Martin J.
5 Degano, Pierpaolo
5 Laneve, Cosimo
5 Loreti, Michele
5 Smolka, Scott A.
5 van Glabbeek, Robert Jan
5 Xu, Xian
4 Bonchi, Filippo
4 Boreale, Michele
4 Brodo, Linda
4 Gabbay, Murdoch James
4 Gay, Simon J.
4 Ghassemi, Fatemeh
4 Horne, Ross
4 Jonsson, Bengt
4 Kobayashi, Naoki
4 Lin, Huimin
4 Miller, Dale Allen
4 Milner, Robin
4 Pérez, Jorge A.
4 Peters, Kirstin
4 Phillips, Iain W.
3 Abdulla, Parosh Aziz
3 Abramsky, Samson
3 Åman Pohjola, Johannes
3 Baeten, Jos C. M.
3 Benevides, Mario R. F.
3 Bengtson, Jesper
3 Bodei, Chiara
3 Borgström, Johannes
3 Buscemi, Maria Grazia
3 Cambronero, María Emilia
3 Cardelli, Luca
3 Cheney, James
3 Deng, Yuxin
3 Diaz, Gregorio
3 Engelfriet, Joost
3 Fábregas, Ignacio
3 Fournet, Cédric
3 García-Pérez, Álvaro
3 Gardner, Philippa Anne
3 Gorrieri, Roberto
3 Henrio, Ludovic
3 Höfner, Peter
3 Johansen, Christian
3 Kouzapas, Dimitrios
3 Maffeis, Sergio
3 Merro, Massimo
3 Nielson, Flemming
3 Normann, Håkon
3 Palamidessi, Catuscia
3 Pantović, Jovanka
3 Pimentel, Elaine
3 Riis Nielson, Hanne
3 Roscoe, Andrew William
3 Sammartino, Matteo
3 Sobociński, Paweł
3 Staton, Sam
3 Urban, Christian
3 Valero, Valentín
3 Vasconcelos, Vasco Thudichum
3 Versari, Cristian
3 von Bochmann, Gregor
2 Abadi, Martín
2 Adamatzky, Andrew I.
2 Adi, Kamel
2 Alrahman, Yehia Abd
2 Barendregt, Hendrik Pieter
2 Bergstra, Jan A.
2 Bertolotti, Ivan Cibrario
2 Bidinger, Philippe
2 Buffalov, Sergey
2 Bugliesi, Michele
2 Cai, Xiaojuan
2 Cao, Yongzhi
2 Caromel, Denis
...and 470 more Authors
all top 5

Cited in 44 Serials

107 Theoretical Computer Science
49 Information and Computation
29 MSCS. Mathematical Structures in Computer Science
23 Formal Aspects of Computing
19 The Journal of Logic and Algebraic Programming
16 Journal of Logical and Algebraic Methods in Programming
15 Acta Informatica
9 Journal of Automated Reasoning
8 Logical Methods in Computer Science
6 Science of Computer Programming
5 Journal of Computer Science and Technology
4 International Journal of Theoretical Physics
4 Information Processing Letters
4 Journal of Functional Programming
3 International Journal of Foundations of Computer Science
3 Distributed Computing
3 Formal Methods in System Design
2 Journal of Computer and System Sciences
2 Journal of Symbolic Computation
2 International Journal of Computer Mathematics
2 Science in China. Series E
2 Wuhan University Journal of Natural Sciences (WUJNS)
2 Theory and Practice of Logic Programming
2 Natural Computing
1 The Journal of Symbolic Logic
1 International Journal of Parallel Programming
1 International Journal of Approximate Reasoning
1 Discrete Event Dynamic Systems
1 Journal of Computer and Systems Sciences International
1 The Bulletin of Symbolic Logic
1 Theory and Applications of Categories
1 Constraints
1 Mathematical Problems in Engineering
1 Journal of Combinatorial Optimization
1 Concurrency and Computation: Practice & Experience
1 Computer Languages, Systems & Structures
1 Journal of Applied Logic
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Science in China. Series F
1 International Journal of Parallel, Emergent and Distributed Systems
1 Journal of Shanghai Jiaotong University (Science)
1 Science China. Information Sciences
1 RAIRO. Theoretical Informatics and Applications
1 Computer Science Review

Citations by Year