J. Parrow

发表

Joachim Parrow, J. Parrow, 1989, Theor. Comput. Sci..
J. Parrow, J. Bengtson, Jesper Bengtson, 2007 .
Joachim Parrow, Ioana Rodhe, Johannes Borgström, 2013 .
Johannes Åman Pohjola, J. Parrow, J. Borgström, 2012 .
Rance Cleaveland, Bernhard Steffen, Joachim Parrow, 1989, PSTV.
R. Milner, D. Walker, J. Parrow, 1991, Theor. Comput. Sci..
Catuscia Palamidessi, Joachim Parrow, J. Parrow, 1997, EXPRESS.
Peter Sjödin, Joachim Parrow, J. Parrow, 1996, Comput. Commun..
Peter Sjödin, Joachim Parrow, J. Parrow, 1992, CONCUR.
Arnold Pears, Joachim Parrow, Oskar Wibling, 2004, FORTE.
ROBIN MILNER, JOACHIM PARROW, R. Milner, 2003 .
Rance Cleaveland, Bernhard Steffen, Joachim Parrow, 1993, TOPL.
Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström, 2017, FORTE.
Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström, 2019, CONCUR.
Rance Cleaveland, Bernhard Steffen, Joachim Parrow, 1990, Automatic Verification Methods for Finite State Systems.
Gerhard J. Woeginger, Jan Karel Lenstra, Joachim Parrow, 2003, Lecture Notes in Computer Science.
Joachim Parrow, J. Parrow, 2001, Handbook of Process Algebra.
Joachim Parrow, J. Parrow, 2001 .
Björn Victor, Joachim Parrow, J. Parrow, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Joachim Parrow, J. Parrow, 2008, LIX.
Robin Milner, David Walker, Joachim Parrow, 1992, Inf. Comput..
Bengt Jonsson, Joachim Parrow, Ahmed Hussain Khan, 1989, Automatic Verification Methods for Finite State Systems.
Bengt Jonsson, Joachim Parrow, B. Jonsson, 1989, Inf. Comput..
Joachim Parrow, J. Parrow, 2000, Proof, Language, and Interaction.
Robin Milner, David Walker, Joachim Parrow, 1991, Theor. Comput. Sci..
Björn Victor, Joachim Parrow, Johannes Borgström, 2013, TGC.
Joachim Parrow, Jesper Bengtson, J. Parrow, 2007, SOS@LICS/ICALP.
Joachim Parrow, Virginia Grande, J. Parrow, 2015, ITiCSE.
Joachim Parrow, Jesper Bengtson, Tjark Weber, 2009, Journal of Automated Reasoning.
Peter Sjödin, Joachim Parrow, J. Parrow, 1994, STACS.
Davide Sangiorgi, Joachim Parrow, J. Parrow, 1993, Inf. Comput..
Björn Victor, Joachim Parrow, Johannes Borgström, 2013, Log. Methods Comput. Sci..
Björn Victor, Magnus Johansson, Joachim Parrow, 2012, J. Log. Algebraic Methods Program..
Johannes Åman Pohjola, J. Parrow, J. Borgström, 2011, Software & Systems Modeling.
Björn Victor, Magnus Johansson, Joachim Parrow, 2011, Log. Methods Comput. Sci..
Björn Victor, Magnus Johansson, Joachim Parrow, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
Björn Victor, Magnus Johansson, Joachim Parrow, 2010, SOS.
Björn Victor, Magnus Johansson, Joachim Parrow, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.
Björn Victor, Magnus Johansson, Joachim Parrow, 2008, ICALP.
Joachim Parrow, Jesper Bengtson, J. Parrow, 2007, FoSSaCS.
Björn Victor, Joachim Parrow, Michael Baldamus, 2005, ICALP.
Björn Victor, Joachim Parrow, Michael Baldamus, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Björn Victor, Joachim Parrow, Michael Baldamus, 2004, LICS 2004.
Björn Victor, Joachim Parrow, Johannes Borgström, 2012 .
Joachim Parrow, Fredrik Orava, F. Orava, 1992, Formal Aspects of Computing.
Lars-Åke Fredlund, Bengt Jonsson, Joachim Parrow, 1990, CONCUR.