Teams can see pomsets
暂无分享,去创建一个
[1] J. Grabowski,et al. On partial languages , 1981, Fundam. Informaticae.
[2] Glynn Winskel,et al. Petri Nets, Event Structures and Domains , 1979, Semantics of Concurrent Computation.
[3] Wojciech A. Trybulec. Partially Ordered Sets , 1990 .
[4] Glynn Winskel,et al. Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..
[5] James R. Russell,et al. Full abstraction for nondeterministic dataflow networks , 1989, 30th Annual Symposium on Foundations of Computer Science.
[6] Glynn Winskel,et al. Events in computation , 1980 .
[7] Paul Hudak,et al. Pomset interpretations of parallel functional programs , 1987, FPCA.
[8] William T. Trotter,et al. Dimension Theory for Ordered Sets , 1982 .
[9] Bengt Jonsson,et al. A fully abstract trace model for dataflow networks , 1989, POPL '89.
[10] David Park,et al. Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.
[11] Jay L. Gischer,et al. The Equational Theory of Pomsets , 1988, Theor. Comput. Sci..
[12] Jos C. M. Baeten,et al. Another look at abstraction in process algebra , 1987 .
[13] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[14] C. A. R. Hoare,et al. A Theory of Communicating Sequential Processes , 1984, JACM.
[15] Vaughan R. Pratt,et al. Modeling concurrency with partial orders , 1986, International Journal of Parallel Programming.
[16] Antoni W. Mazurkiewicz,et al. Traces, Histories, Graphs: Instances of a Process Monoid , 1984, International Symposium on Mathematical Foundations of Computer Science.
[17] Robin Milner,et al. Lectures on a Calculus for Communicating Systems , 1984, Seminar on Concurrency.
[18] E. Szpilrajn. Sur l'extension de l'ordre partiel , 1930 .
[19] Irene Greif,et al. Semantics of communicating parallel processes , 1975 .
[20] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[21] Vaughan R. Pratt,et al. On the composition of processes , 1982, POPL '82.
[22] Christos H. Papadimitriou,et al. The Theory of Database Concurrency Control , 1986 .