Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Logical Foundations of Computer Science

Logic at Botik 1989: Logic at Botik '89 pp 146–162Cite as

Discerning causality in interleaving behavior

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 363))

Abstract

We examine situations where for a given system N there is a strong intuition and a general consensus about its interleaving behavior but the inherently causal aspects of the behavior are still to be discerned. As an application to the theory we aim at a better understanding of the semantics of Place-Transition systems.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. G. Boudol, I. Castelani, A non Interleaving Semantics for CCS based on Proved Transitions, Fundamenta Informatica 11(4) 1988.

    Google Scholar 

  2. E. Best, R. Deviller Sequential and Concurrent Behavior in Petri Net Theory. TCS Vol 50

    Google Scholar 

  3. P. Degano, R. DeNicola, U. Montanari, A new operational semantics for CCS based on condition event systems. Nota Interna B4-42, Dept. of CS, Univ. Pisa 1986.

    Google Scholar 

  4. U. Goltz, W. Reisig, The non Sequential Behaviour of Petri Nets, Information and Control 57 Nos 2–3 1983.

    Google Scholar 

  5. Hoare, C.A.R., Communicating sequential processes, Prentice Hall International, 1985.

    Google Scholar 

  6. R. Loogen, U. Goltz, A non-interleaving semantic model for nondeterministic Concurrent Processes Tech. Rep. 87–15 Aachen, 1987.

    Google Scholar 

  7. A. Mazurkiewicz, Semantics of Concurrent Systems: A modular fixed point Trace approach. In advances in Petri Nets 1984 LNCS 188.

    Google Scholar 

  8. A. Mazurkiewicz, Compositional Semantics of Pure Place/Transition Systems, Fundamenta Informatica vol 11(4) 1988.

    Google Scholar 

  9. Milner, R., A calculi for Synchrony and Asynchrony, TCS 25, 1986

    Google Scholar 

  10. M. Nielsen, G. Plotkin, G. Winskel, Petri Nets, Event Structure and Domains, Part 1, TCS vol 13 No 1, 1980.

    Google Scholar 

  11. E.-R. Olderog, Operational Petri Net Semantics for CCSP. In advances in Petri Nets 1987 LNCS 266.

    Google Scholar 

  12. C. A. Petri, Non-sequential Processes, Tech. Report ISF-77-05, GMD, 1977.

    Google Scholar 

  13. W. Reisig, Place/Transition Systems. In Advances in Petri Nets 1986. LNCS 254. and their Properties.

    Google Scholar 

  14. Rabinovich, A., Trakhtenbrot, B. A., Behavior Structures and Nets, Fundamenta Informatica 11(4) 1988

    Google Scholar 

  15. P.S. Thiagarajan, Elementary Net Systems. In Advances in Petri Nets 1986. LNCS 254

    Google Scholar 

  16. Trakhtenbrot, B. A., Rabinovich, A., Hirshfeld, J, Nets of Processes, Technical Report 97/88 Tel Aviv Univ. 1988.

    Google Scholar 

  17. Winkowski, J., Event Structure Representations of the Behaviour of Place/Transition Systems, Fundamenta Informatica 11(4) 1988.

    Google Scholar 

  18. G. Winskel, Event Structures, in Petri Nets: Application and Relationship to Other Models of Concurrency, LNCS 255. 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Mathematical Sciences Raymond and Beverly Sackler Faculty of Exact Sciences, Tel-Aviv University, 69978, Tel-Aviv, Israel

    J. Hirshfeld, A. Rabinovich & B. A. Trakhtenbrot

Authors
  1. J. Hirshfeld
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Rabinovich
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. B. A. Trakhtenbrot
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Albert R. Meyer Michael A. Taitslin

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hirshfeld, J., Rabinovich, A., Trakhtenbrot, B.A. (1989). Discerning causality in interleaving behavior. In: Meyer, A.R., Taitslin, M.A. (eds) Logic at Botik '89. Logic at Botik 1989. Lecture Notes in Computer Science, vol 363. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51237-3_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-51237-3_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51237-0

  • Online ISBN: 978-3-540-46180-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation