Traces for coalgebraic components
HASUO, ICHIRO, JACOBS, BARTVolume:
21
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129510000551
Date:
April, 2011
File:
PDF, 1.74 MB
english, 2011