Login / Signup

Compositional Constructor Interpretation over Coalgebraic Models for the pi-Calculus.

Michael Baldamus
Published in: CMCS (2000)
Keyphrases