Concurrency semantics based on metric domain equations
暂无分享,去创建一个
[1] Joost N. Kok,et al. Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog , 1988, FGCS.
[2] Mila E. Majster-Cederbaum,et al. Towards a Foundation for Semantics in Complete Metric Spaces , 1991, Inf. Comput..
[3] Pierre America,et al. Denotational Semantics of a Parallel Object-Oriented Language , 1989, Inf. Comput..
[4] Ernst-Rüdiger Olderog,et al. Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency , 1988, J. Comput. Syst. Sci..
[5] Ernst-Rüdiger Olderog,et al. Contrasting Themes in the Semantics of Imperative Concurrency , 1986, Current Trends in Concurrency.
[6] C. A. R. Hoare,et al. A Theory of Communicating Sequential Processes , 1984, JACM.
[7] P.H.M. America,et al. A parallel object-oriented language: design and semantic foundations , 1989 .
[8] John-Jules Ch. Meyer,et al. Metric semantics for concurrency , 1988, BIT.
[9] Jan J. M. M. Rutten,et al. Correctness and full abstraction of metric semantics for concurrency , 1988, REX Workshop.
[10] Matthew Hennessy,et al. Full Abstraction for a Simple Parallel Programming Language , 1979, MFCS.
[11] E. Michael. Topologies on spaces of subsets , 1951 .
[12] Jan Willem Klop,et al. The process of De Bakker and Zucker represent bisimulation equivalence classes , 1989 .
[13] J. J. M. M. Rutten. Semantic Correctness for a Parallel Object-Oriented Language , 1990, SIAM J. Comput..
[14] Jan A. Bergstra,et al. Readies and Failures in the Algebra of Communicating Processes , 1988, SIAM J. Comput..
[15] J. W. de Bakker,et al. Designing Concurrency Semantics , 1989, IFIP Congress.
[16] Pierre America,et al. Solving Reflexive Domain Equations in a Category of Complete Metric Spaces , 1987, J. Comput. Syst. Sci..
[17] Bill Roscoe,et al. An Operational Semantics for CSP , 1986 .
[18] Jan J. M. M. Rutten. Nonwellfounded Sets and Programming Language Semantics , 1991, MFPS.
[19] Pierre America,et al. Designing Equivalent Semantic Models for Process Creation , 1986, Theor. Comput. Sci..
[20] J. W. de Bakker,et al. Mathematical theory of program correctness , 1980, Prentice-Hall international series in computer science.
[21] Jan J. M. M. Rutten,et al. Contractions in Comparing Concurrent Semantics , 1988, ICALP.
[22] Mila E. Majster-Cederbaum,et al. The Contraction Property is Sufficient to Guarantee the Uniqueness of Fixed Points of Endofunctors in a Category of Complete Metric Spaces , 1989, Inf. Process. Lett..
[23] Ernst-Rüdiger Olderog,et al. Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency , 1985, Theor. Comput. Sci..
[24] J. W. de Bakker,et al. Processes and the Denotational Semantics of Concurrency , 1982, Inf. Control..
[25] David Park,et al. Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.
[26] J. W. de Bakker,et al. Comparative Semantics for Flow of Control in Logic Programming without Logic , 1991, Inf. Comput..
[27] Jan A. Bergstra,et al. Linear Time and Branching Time Semantics for Recursion with Merge , 1983, Theor. Comput. Sci..
[28] Mila E. Majster-Cederbaum,et al. On the Uniqueness of Fixed Points of Endofunctors in a Category of Complete Metric Spaces , 1988, Inf. Process. Lett..