Open Access
Event Structures
Glynn Winskel
- pp 325-392
Reads0
Chats0
About:
The article was published on 1986-09-08 and is currently open access. It has received 669 citations till now. The article focuses on the topics: Event (relativity).read more
Citations
More filters
Book
Principles of Model Checking
TL;DR: Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.
Journal ArticleDOI
On Full Abstraction for PCF
J. M. E. Hyland,C. H. L. Ong +1 more
TL;DR: An order-extensional, order (or inequationally) fully abstract model for Scott's language pcf, based on a kind of game in which each play consists of a dialogue of questions and answers between two players who observe the following principles of civil conversation.
Book ChapterDOI
Models for concurrency
Glynn Winskel,Mogens Nielsen +1 more
TL;DR: In this article, the authors present a survey of models for parallel computation, including transition systems, synchronisation trees, Petri nets, event structures, pomsets and Mazurkiewicz traces.
Book ChapterDOI
Using Partial Orders to Improve Automatic Verification Methods
TL;DR: A verification method for concurrent finite-state systems that attempts to avoid the part of the combinatorial explosion due to the modeling of concurrency by interleavings and introduces the notion of “trace automation” which generates only one linearization per partial order.
Journal ArticleDOI
Branching processes of Petri nets
TL;DR: It is shown that the set of branching processes of a Petri net is a complete lattice, with respect to the natural notion of partial order.
References
More filters
Book ChapterDOI
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this paper, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
Book ChapterDOI
An Introduction to Inductive Definitions
TL;DR: This chapter discusses monotone induction and its role in extensions of recursion theory and briefly considers inductive definitions in a more general context.
Journal ArticleDOI
The system F of variable types, fifteen years later
TL;DR: A semantics based on the category-theoretic idea of direct limit is developed, so that the behaviour of a variable type on any domain is determined by its behaviour on finite ones, thus getting rid of the circularity of variable types.
Book ChapterDOI
Elements of General Net Theory
TL;DR: Some of the main features of a theory of systems in which the concept of concurrency plays a central role are presented.
Actors and continuous functionals
Carl Hewitt,Henry G. Baker +1 more
TL;DR: This paper presents precise versions of some "laws" that must be satisfied by computations involving communicating parallel processes, intended to be applied to the design and analysis of systems consisting of large numbers of physical processors.