Categorical structure of asynchrony

Electronic Notes in Theoretical Computer Science

Volumn 20, Issue , 1999, Pages 158-181

  Selinger, Peter ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; CONCURRENCY CONTROL; MATHEMATICAL MODELS; SEMANTICS;

ASYNCHRONOUS COMMUNICATION; CATEGORICAL MODELS; LARGE SCALE NETWORKS; SEMANTIC MODELS;

PARALLEL PROCESSING SYSTEMS;

EID: 9544247261     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80073-2     Document Type: Conference Paper

References (15)

1. S. Abramsky. Retracing some paths in process algebra. In Proceedings of the Seventh International Conference on Concurrency Theory, Springer LNCS 1119 (1996).
2. Abramsky S., Jung A. Domain theory. Abramsky S., Gabbay D.M., Maibaum T.S.E. Handbook of Logic in Computer Science, Volume. 1994;1-168 Clarendon Press
3. Agha G.A. Actors: a Model of Concurrent Computation in Distributed Systems. 1986;MIT Press, Cambridge, Massachusetts
4. J. Bénabou, Introduction to bicategories, In Reports of the Midwest Category Seminar, Springer Lecture Notes in Mathematics 47 (1967(, pages 1-77.
5. G. Boudol, Asynchrony and the π-calculus, Technical Report 1702, INRIA, Sophia-Antipolis, 1992.
6. C. Fournet and G. Gonthier, The reflexive cham and the join- calculus, In POPL '96: Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996.
7. M. Hasegawa, "Models of Sharing Graphs: A Categorical Semantics of let and letrec," PhD thesis, Department of Computer Science, University of Edinburgh, July 1997.
8. T. T. Hildebrandt, P. Panangaden, and G. Winskel, Relational semantics of non-deterministic dataflow, BRICS Report Series RS-97-36, 1997.
9. A Jeffrey, Premonoidal categories and a graphical view of programs, Preprint, Dec. 1997.
10. A. Joyal, R. Street, and d. Verity, Traced monoidal categories, Mathematical Proceedings of the Cambridge Philosophical Society 119 (1996), 447-468.
11. Kahn G. The semantics of a simple language for parallel programming. In Information Processing. 74:1974;471-475
12. B. C. Pierce and D. N. Turner, PICT: A Programming Language Based on the π-Calculus. U. Cambridge, 1996.
13. Power J., Robinson E. Premonoidal categories and notions of computation. Math. Struct. in Computer Science. 7:(5):1997;445-452
14. P. Selinger, First-order axioms for asynchrony, In Proceedings of the Eighth International Conference on Concurrency Theory, Warsaw, Poland, Springer LNCS 1243 (1997), pages 376-390.
15. H. Thielecke, "Categorical Structure of Continuation Passing Style," PhD thesis, University of Edinburgh, 1997.