18867 Joseph Goguen: Sheaf semantics for concurrent interacting objects. Internet 1992, 31p. 18888 Grant Malcolm: Sheaves and structures of transition systems. Internet ca. 2005, 15p. 18861 Joachim Wehler: Morphisms of coloured Petri nets. Internet 2006, 21p. 18883 D. Wolfram: Sheaf and trace models of concurrency. Preliminary report. Internet 1993, 9p.