Grant Malcolm
Sheaves and structures of transition systems
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
1999
in: Visual representations and interpretations, Dordrecht : Springer
Sheaves and structures of transition systems
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
1999
in: Visual representations and interpretations, Dordrecht : Springer