PhD thesis,

Intensional equality for process calculi based on _e63-structures epsilon-structures

.
TU Berlin, (2000)

Meta data

Tags

Users

  • @genealogie

Comments and Reviews