Abstract
The intention of the paper is to study prime event structures as models of nondeterministic processes. We characterize and examine some properties known as discreteness, density and crossing which allow inconsistency to be avoided between syntactic and semantic representations of processes. A number of close relationships between density and crossing concepts of the chosen model is shown. An algebraic system whose terms are interpreted as dense prime event structures is proposed.
This work is suppoted in part by the Fundamental Research Fund of Russia (grant No 93-012-986).
Preview
Unable to display preview. Download preview PDF.
References
Best, E.: The relative strenghth of K-density. Lecture Notes in Computer Science 84 (1980) 261–276
Best, E.: A Theorem on the Characteristics of Non-Sequential Processes. Fundamenta Informaticae 3 (1980) 77–94
Best, E., Fernandez, C., Plünnecke, H.: Concurrent systems and processes. Final Report on the Foundational Part of the Project BEGRUND, FMP-Studien N 107, GMD, Sankt Augustin, FDR (March 1985)
Boudol, G., Castellani, I.: Concurrency and atomicity. Theoretical Computer Science 59 (1988) 25–84
Cherkasova, L., Kotov, V.: Descriptive and analytical process algebras. Lecture Notes in Computer Science 424 (1989) 77–104
Fernandez, C.: Non-sequential processes. Lecture Notes in Computer Science 254 (1986) 95–116
Kotov, V., Cherkasova, L.: On structural properties of generalized processes. Lecture Notes in Computer Science 188 (1984) 288–306
Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains. Theoretical Computer Science 13 (1981) 85–108
Petri, C.: Concurrency as a basis for system thinking. ISP-Report 78.06, St. Augustin: Gesellschaft für Mathematik und Detenverarbeitung (1978)
Plünnecke, H.: K-density, N-density and finiteness properties. Lecture Notes in Computer Science 188 (1984) 392–412
Virbitskaite, I., Votintseva A.,: A Temporal Logic Characterization of a Subclass of Flow Event Structures. (in preparation)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Virbitskaite, I.B. (1993). Observing some properties of event structures. In: Bjørner, D., Broy, M., Pottosin, I.V. (eds) Formal Methods in Programming and Their Applications. Lecture Notes in Computer Science, vol 735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039711
Download citation
DOI: https://doi.org/10.1007/BFb0039711
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57316-6
Online ISBN: 978-3-540-48056-3
eBook Packages: Springer Book Archive