ENTCS
2007
14 years 12 days ago
2007
A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, no...