Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

LICS
2010
IEEE

favoriteEmaildiscussreport

157views Automated Reasoning» more LICS 2010»

On the Expressivity of Symmetry in Event Structures

13 years 3 months ago

On the Expressivity of Symmetry in Event Structures

Download www.cl.cam.ac.uk

—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular presheaf category, consisting of presheaves over ﬁnite partial orders of events; such presheaves form a model of nondeterministic processes in which the computation paths have the

Sam Staton, Glynn Winskel

Real-time Traffic

Automated Reasoning | Event Structures | LICS 2010 | Partial Orders | Particular Presheaf Category |

claim paper

Related Content

» Event Structures with Symmetry

» Exploiting Symmetry for Partitioning Models in Parallel Discrete Event Simulation

» Visualization of Biological Information with Circular Drawings

» Bundle Event Structures and CCSP

» Protocol Synthesis from ContextFree Processes Using Event Structures

» Chaotic attractors exhibiting quasicrystalline structure

» Asymptotic expansion of the minimum covariance determinant estimators

» Automatically Exploiting Symmetries in Constraint Programming

» Structured semidefinite programs for the control of symmetric systems

Post Info
More Details (n/a)

Added	29 Jan 2011
Updated	29 Jan 2011
Type	Journal
Year	2010
Where	LICS
Authors	Sam Staton, Glynn Winskel

Comments (0)