PhD thesis,

Transitionssystem- und Baum-Semantiken für CCS

.
Uni Mannheim, (1994)

Meta data

Tags

Users

  • @genealogie
  • @dblp

Comments and Reviews