An introduction to event structures

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Article , Conference object , Other literature type 01 Jan 1989Publisher:Springer Berlin HeidelbergJournal:DAIMI Report Series, volume 18 (issn: 0105-8517, eissn: 2245-9316,

Copyright policy )

Authors: Glynn Winskel;

doi: 10.1007/bfb0013026 , 10.7146/dpb.v18i278.6655

An introduction to event structures

- Summary
- Metrics

Abstract

Event structures are models of processes as events constrained by relations of consistency and enabling. These notes are intended to introduce the mathematical theory of event structures, show how they are related to Petri nets and Scott domains, and how they can be used to provide semantics to programming languages for parallel processes as well as languages with higher types.

Related Organizations

Aarhus University
Denmark

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	128
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 1%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%