narcis.nl参考文章(14)
George J. Milne, Abstraction and Nondeterminism in Concurrent Systems. international conference on distributed computing systems. pp. 358- 364 ,(1982)
Jan A. Bergstra, Inge Bethke, Polarized process algebra and program equivalence international colloquium on automata languages and programming. ,vol. 2719, pp. 1- 21 ,(2003) , 10.1007/3-540-45061-0_1
Andrej Nikolaevich Kolmogorov, S Fomin, Elements of the Theory of Functions and Functional Analysis ,(1961)
A. Ponse, I. Bethke, J.A. Bergstra, Decision Problems for Pushdown Threads PRG0502. ,(2005)
G. E. Shilov, Richard A. Silverman, Elementary functional analysis MIT Press. ,(1974)
Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory MIT Press. ,(1981)
Christel Baier, Mila Majster-Cederbaum, The connection between initial and unique solutions of domain equations in the partial order and metric approach Formal Aspects of Computing. ,vol. 9, pp. 425- 445 ,(1997) , 10.1007/BF01211300
J.A. Bergstra, I. Bethke, An upper bound for the equational specification of finite state services Information Processing Letters. ,vol. 94, pp. 267- 269 ,(2005) , 10.1016/J.IPL.2005.02.010
J.A. Bergstra, I. Bethke, Polarized process algebra with reactive composition formal methods. ,vol. 343, pp. 285- 304 ,(2005) , 10.1016/J.TCS.2005.06.014
Christel Baier, Mila E. Majster-Cederbaum, Denotational semantics in the cpo and metric approach Theoretical Computer Science. ,vol. 135, pp. 171- 220 ,(1994) , 10.1016/0304-3975(94)00046-8