Joachim Parrow
3 published titles
Modal logics for mobile processes
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Protocol specification, testing, and verification, XI : proceedings of the IFIP WG 6.1, Eleventh International Symposium on Protocol Specification, Testing, and Verification, Stockholm, Sweden, 18-20
(Contributor)
1 edition
- ISBN: 0444892109
- North-Holland
- 1991
- Details
Algebraic theories for name-passing calculi
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1993
- Details
