Process synchronisation as fusion
暂无分享,去创建一个
[1] Ernst-Rüdiger Olderog,et al. Nets, terms and formulas , 1991 .
[2] Jean-Yves Girard. Linear Logic and Parallelism , 1986, Mathematical Models for the Semantics of Parallelism.
[3] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[4] Alberto Pettorossi,et al. Enriched Categories for Local and Interaction Calculi , 1987, Category Theory and Computer Science.
[5] Glynn Winskel,et al. Categories of Models for Concurrency , 1984, Seminar on Concurrency.
[6] Ross Street,et al. ENRICHED CATEGORIES AND COHOMOLOGY , 1983 .
[7] José Meseguer,et al. Petri Nets Are Monoids , 1990, Inf. Comput..
[8] José Meseguer,et al. Petri nets are monoids: a new algebraic foundation for net theory , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[9] Guo-Qiang Zhang,et al. Parallel Product of Event Structures , 1989 .
[10] Glynn Winskel,et al. A Classification of Models for Concurrency , 1993, CONCUR.
[11] Peter T. Johnstone,et al. Connected limits, familial representability and Artin glueing , 1995, Mathematical Structures in Computer Science.
[12] F. William Lawvere,et al. Metric spaces, generalized logic, and closed categories , 1973 .
[13] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[14] Anna Labella,et al. Enriched categorial semantics for distributed calculi , 1992 .
[15] S. Lane. Categories for the Working Mathematician , 1971 .
[16] Glynn Winskel,et al. Synchronization Trees , 1984, Theor. Comput. Sci..
[17] Charles Ehresmann,et al. Sheaves and Cauchy-complete categories , 1981 .
[18] Marisa Venturini Zilli. Mathematical Models for the Semantics of Parallelism , 1987, Lecture Notes in Computer Science.
[19] Ross Street,et al. Variation through enrichment , 1983 .
[20] Tommaso Bolognesi,et al. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.
[21] Michael A. Johnson. Pasting Diagrams in n-Categories with Applications to Coherence Theorems and Categories of Paths , 1987 .
[22] Marek Antoni Bednarczyk,et al. Categories of asynchronous systems , 1987 .
[23] Arend Rensink. Models and Methods for Action Refinement , 1993 .
[24] S. Maclane,et al. Categories for the Working Mathematician , 1971 .