Skip to main content
SpringerLink
Log in

A monoidal closed category of event structures

  • Conference paper
  • First Online:
Mathematical Foundations of Programming Semantics (MFPS 1991)

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

Abstract

This paper introduces the following new constructions on stable event structures: the tensor product, the linear function space, and the exponential. It results in a monoidal closed category of stable event structures which can be used to interpret intuitionistic linear logic.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Berry, G., Stable models of typed λ-calculi, Lecture Notes in Computer Science 62 (1978).

    Google Scholar 

  2. Berry, G., Curien P.-L. and Levy J.-J, Full abstraction for sequential languages: the state of the art, Algebraic methods in semantics Nivat, M. and Reynolds, J.C. ed, Cambridge University Press.

    Google Scholar 

  3. Girard, Jean-Yves, The system F of variable types, fifteen years later, Theoretical Computer Science 45 (1986).

    Google Scholar 

  4. Girard, Jean-Yves, Linear Logic, Theoretical Computer Science 50 (1987).

    Google Scholar 

  5. Girard, Jean-Yves and Lafont, Y., Linear logic and lazy computation, manuscript, (1986).

    Google Scholar 

  6. MacLane, S., Categories for the working mathematician, Springer-Verlag (1971).

    Google Scholar 

  7. Narciso Marti-Oliet, Jose Meseguer, From Petri Nets to Linear Logic, manuscript, (1989).

    Google Scholar 

  8. Nielsen, M., Plotkin, G., Winskel, G., Petri nets, event structures and domains, part 1, Theoretical Computer Science 13 (1981).

    Google Scholar 

  9. Winskel, G., An introduction to event structures, Lecture Notes in Computer Science 354 (1988).

    Google Scholar 

  10. Winskel, G., A monoidal closed category and its relation with categories for synchronizing processes, manuscript, (1988).

    Google Scholar 

  11. Zhang, G. Q., DI-domains as information systems, Lecture Notes in Computer Science 372 (ICALP-1989, Italy), (1989).

    Google Scholar 

  12. Zhang, G. Q., Logic of Domains, a monograph in the series Progress in Theoretical Computer Science, Birkhäuser Boston (1991).

    Google Scholar 

  13. Zhang, G. Q., DI-domains as prime information systems, Information and Computation 98 (1), (1992).

    Google Scholar 

  14. Zhang, G. Q., Stable neighbourhoods, Theoretical Computer Science 93, (1992).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Artificial Intelligence Laboratory Department of EECS, The University of Michigan, 48109, Ann Arbor, MI

    Guo-Qiang Zhang

  2. Department of Computer Science, The University of Georgia, 30602, Athens, GA

    Guo-Qiang Zhang

Authors
  1. Guo-Qiang Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Stephen Brookes Michael Main Austin Melton Michael Mislove David Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhang, GQ. (1992). A monoidal closed category of event structures. In: Brookes, S., Main, M., Melton, A., Mislove, M., Schmidt, D. (eds) Mathematical Foundations of Programming Semantics. MFPS 1991. Lecture Notes in Computer Science, vol 598. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55511-0_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-55511-0_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55511-7

  • Online ISBN: 978-3-540-47194-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation