Sciweavers

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

9

ENTCS
2007

favoriteEmaildiscussreport

98views more ENTCS 2007»

Event Structures with Symmetry

13 years 4 months ago

Event Structures with Symmetry

Download www.cl.cam.ac.uk

A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, nondeterministic dataﬂow and the unfolding of Petri nets with multiple tokens are sketched.

Glynn Winskel

Real-time Traffic

Categorical Properties | ENTCS 2007 | Event Structures | Event-structure Semantics |

claim paper

Related Content

» On the Expressivity of Symmetry in Event Structures

» Exploiting Symmetry for Partitioning Models in Parallel Discrete Event Simulation

» Static and Dynamic Structural Symmetry Breaking

» Constraintfree analog placement with topological symmetry structure

» Geometric Segmentation of Perspective Images Based on Symmetry Groups

» Apollonius diagrams and the Representation of Sounds and Music

» Virtual Symmetry Reduction

» Event Spaces and their Linear Logic

» Detecting Local Symmetry Axis in 3dimensional Virus Structures

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	ENTCS
Authors	Glynn Winskel

Comments (0)