Systems engineering : a formal approach. Part II. Frameworks
暂无分享,去创建一个
[1] Jan A. Bergstra,et al. Axiomatizing Probabilistic Processes: ACP with Generative Probabilities , 1995, Inf. Comput..
[2] Fairouz Kamareddine,et al. A System at the Cross-Roads of Functional and Logic Programming , 1992, Sci. Comput. Program..
[3] Jozef Hooman,et al. A Compositional Semantics for Fault-Tolerant Real-Time Systems , 1992, FTRTFT.
[4] J. Zwiers,et al. Assertional Data Reification Proofs: Survey and Perspective , 1991 .
[5] Fairouz Kamareddine,et al. Non well-foundedness and type freeness can unify the interpretation of functional application , 1992 .
[6] Kim Marriott,et al. Bottom-up Abstract Interpretation of Logic Programs , 1988, ICLP/SLP.
[7] Erik Poll,et al. Some categorical properties for a model for second order lambda calculus with subtyping , 1991 .