106 search results - page 1 / 22 » On the Expressivity of Symmetry in Event Structures |
LICS
2010
IEEE
13 years 3 months ago
2010
IEEE
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...
ENTCS
2007
13 years 4 months 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...
PADS
2004
ACM
13 years 10 months ago
2004
ACM
We investigated the benefit of exploiting the symmetries of graphs for partitioning. We represent the model to be simulated by a weighted graph. Graph symmetries are studied in th...
ISMDA
2004
Springer
13 years 10 months ago
2004
Springer
Being able to clearly visualize clusters of genes provided by gene expressions over a set of samples is of high importance. It gives researchers the ability to create an image of t...
CONCUR
2003
Springer
13 years 10 months ago
2003
Springer
We investigate which event structures can be denoted by means of closed CCS ∪ CSP expressions. Working up to isomorphism we find that • all denotable event structures are bund...