E-LIB Suche - Ergebnisse für: Parrow, Joachim

1

Editorial:

Carbone, Marco ; Hildebrandt, Thomas ; Parrow, Joachim.
Formal Aspects of Computing. 28 (2016) 4 - p. 529-530 , 2016

Link: https://doi.org/10.1007/..

2

Bisimulation up-to techniques for psi-calculi:

, In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs,

Åman Pohjola, Johannes ; Parrow, Joachim - p. 142-153 , 2016

Link: https://dl.acm.org/doi/1..

3

Psi-Calculi in Isabelle:

Bengtson, Jesper ; Parrow, Joachim ; Weber, Tjark
Journal of Automated Reasoning. 56 (2015) 1 - p. 1-47 , 2015

Link: https://doi.org/10.1007/..

4

Motivation and Grade Gap Related to Gender in a Programming..:

, In: Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education,

Grande, Virginia ; Parrow, Joachim - p. 349 ff. , 2015

Link: https://dl.acm.org/doi/1..

5

General conditions for full abstraction:

PARROW, JOACHIM
Mathematical Structures in Computer Science. 26 (2014) 4 - p. 655-657 , 2014

Link: https://doi.org/10.1017/..

6

Broadcast psi-calculi with an application to wireless proto..:

Borgström, Johannes ; Huang, Shuqin ; Johansson, Magnus...
Software & Systems Modeling. 14 (2013) 1 - p. 201-216 , 2013

Link: https://doi.org/10.1007/..

7

Higher-order psi-calculi:

PARROW, JOACHIM ; BORGSTRÖM, JOHANNES ; RAABJERG, PALLE.
Mathematical Structures in Computer Science. 24 (2013) 2 - p. , 2013

Link: https://doi.org/10.1017/..

8

Computing strong and weak bisimulations for psi-calculi:

Johansson, Magnus ; Victor, Björn ; Parrow, Joachim
The Journal of Logic and Algebraic Programming. 81 (2012) 3 - p. 162-180 , 2012

Link: https://doi.org/10.1016/..

9

Expressiveness of Process Algebras:

Parrow, Joachim
Electronic Notes in Theoretical Computer Science. 209 (2008) - p. 173-186 , 2008

Link: https://doi.org/10.1016/..

10

A Completeness Proof for Bisimulation in the pi-calculus Us..:

Bengtson, Jesper ; Parrow, Joachim
Electronic Notes in Theoretical Computer Science. 192 (2007) 1 - p. 61-75 , 2007

Link: https://doi.org/10.1016/..

11

Automata, Languages and Programming

30th International Colloquium, ICALP 2003 Eindhoven, The Ne... Lecture Notes in Computer Science ; 2719

Baeten, Jos C. M. ; Lenstra, Jan Karel ; Parrow, Joachim. , 2003

Link: https://doi.org/10.1007/..

12

An Introduction to the π-Calculus:

, In: Handbook of Process Algebra,

Parrow, Joachim - p. 479-543 , 2001

Link: https://doi.org/10.1016/..

13

PREFACE:

Palamidessi, Catuscia ; Parrow, Joachim ; van Glabbeek, Rob
Information and Computation. 156 (2000) 1-2 - p. 1 , 2000

Link: https://doi.org/10.1006/..

14

Foreword:

Palamidessi, Catuscia ; Parrow, Joachim
Electronic Notes in Theoretical Computer Science. 7 (1997) - p. 1-2 , 1997

Link: https://doi.org/10.1016/..

15

Formal Techniques in Real-Time and Fault-Tolerant Systems

4th International Symposium, Uppsala, Sweden, September 9 -... Lecture Notes in Computer Science ; 1135;SpringerLink, Bücher

Jonsson, Bengt ; Parrow, Joachim , 1996

Link: https://doi.org/10.1007/..