Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Joachim Parrow

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Magnus Johansson

> Home > Persons > Joachim Parrow

Publications

2015
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/BorgstromHJRVPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/BorgstromHJRVPP15
Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow:
Broadcast psi-calculi with an application to wireless protocols. Softw. Syst. Model. 14(1): 201-216 (2015)
2012
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/JohanssonVP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/JohanssonVP12
Magnus Johansson, Björn Victor, Joachim Parrow:
Computing strong and weak bisimulations for psi-calculi. J. Log. Algebraic Methods Program. 81(3): 162-180 (2012)
2011
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-3262
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-3262
Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor:
Psi-calculi: a framework for mobile processes with nominal data and logic. Log. Methods Comput. Sci. 7(1) (2011)
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BorgstromHJRVPP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BorgstromHJRVPP11
Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow:
Broadcast Psi-calculi with an Application to Wireless Protocols. SEFM 2011: 74-89
2010
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/JohanssonBPV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/JohanssonBPV10
Magnus Johansson, Jesper Bengtson, Joachim Parrow, Björn Victor:
Weak Equivalences in Psi-Calculi. LICS 2010: 322-331
2009
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BengtsonJPV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BengtsonJPV09
Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor:
Psi-calculi: Mobile Processes, Nominal Data, and Logic. LICS 2009: 39-48
[c34]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1002-2867
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-2867
Magnus Johansson, Björn Victor, Joachim Parrow:
A Fully Abstract Symbolic Semantics for Psi-Calculi. SOS 2009: 17-31
2008
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/JohanssonPVB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/JohanssonPVB08
Magnus Johansson, Joachim Parrow, Björn Victor, Jesper Bengtson:
Extended pi-Calculi. ICALP (2) 2008: 87-98

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.