论文信息 - On the Nature of Events

On the Nature of Events

We introduce yet another event-based formalism, event automata, which unifies various definitions to be found in the literature. Moreover we discuss various new concepts such as possible events, asymmetric conflict and quiescent states. We also distinguish between specifications and automata which satisfy a specification.

G. Michele Pinna | Axel Poigné

[1] Jeremy Gunawardena. Geometric Logic, Causality and Event Structures , 1991, CONCUR.

[2] Glynn Winskel,et al. Event Structures , 1986, Advances in Petri Nets.

[3] Glynn Winskel,et al. Events in computation , 1980 .

[4] Haim Gaifman,et al. Modeling concurrency by partial orders and nonlinear transition systems , 1988, REX Workshop.

[5] Vaughan R. Pratt,et al. Modeling concurrency with geometry , 1991, POPL '91.

[6] Haim Gaifman,et al. Partial Order Models of Concurrency and the Computation of Functions , 1987, LICS.

[7] Zohar Manna,et al. On the Faithfulness of Formal Models , 1991, MFCS.

[8] Wladyslaw M. Turski,et al. Prescribing Behaviors , 1991, Theor. Comput. Sci..

[9] José Luiz Fiadeiro,et al. Logics of Modal Terms for Systems Specification , 1990, J. Log. Comput..

[10] Joseph A. Goguen,et al. A Categorial Theory of Objects as Observed Processes , 1990, REX Workshop.

[11] José Luiz Fiadeiro,et al. Describing, Structuring and Implementing Objects , 1990, REX Workshop.

[12] Gérard Boudol. Flow Event Structures and Flow Nets , 1990, Semantics of Systems of Concurrent Processes.