Repository | Directory | Profile

References
Grant Malcolm
Sheaves and structures of transition systems
2006
in: Algebra, meaning, and computation, Dordrecht : Springer

Repository | Directory | Profile
Sheaves and structures of transition systems
2006
in: Algebra, meaning, and computation, Dordrecht : Springer