Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0

Citation

Order by: Document Type | Year of publication | No order
Number of items: 7.

Article

Zhan, Naijun ; Majster-Cederbaum, Mila (2010) On hierarchically developing reactive systems. Information and Computation Amsterdam 208 9 997-1019 [Article]

Majster-Cederbaum, Mila ; Wu, Jinzhao ; Yue, Houguang ; Zhan, Naijun (2006) Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. Acta Informatica Heidelberg 42 6 389-418 [Article]

Conference or workshop publication

Majster-Cederbaum, Mila ; Zhan, Naijun Deriving non-determinism from conjunction and disjunction. Wang, Farn Lecture Notes in Computer Science 3731 351-365 In: Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan; proceedings (2005) Berlin [u.a.] [Conference or workshop publication]

Majster-Cederbaum, Mila ; Wu, Jinzhao ; Yue, Houguang ; Zhan, Naijun Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. Davies, Jim Lecture Notes in Computer Science 3308 449-463 In: Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8 - 12, 2004; proceedings (2004) Berlin [u.a.] [Conference or workshop publication]

Majster-Cederbaum, Mila ; Zhan, Naijun ; Fecher, Harald Action Refinement from a Logical Point of View. Zuck, Lenore D. Lecture Notes in Computer Science 2575 253-267 In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9 - 11, 2003; proceedings (2003) Berlin [u.a.] [Conference or workshop publication]

Zhan, Naijun Combining Hierarchical Specification with Hierarchical Implementation. Saraswat, Vijay A. Lecture Notes in Computer Science 2896 110-124 In: Advances in computing science - ASIAN 2003 : programming languages and distributed computation; 8th Asian Computing Science Conference, Mumbai, India, December 10 - 12, 2003; proceedings (2003) Berlin [u.a.] [Conference or workshop publication]

Zhan, Naijun Compositional Properties of Sequential Processes. Electronic Notes in Theoretical Computer Science : ENTCS 118 111-128 (2003) Amsterdam [u.a.] Software Verification and Validation 2003 (Mumbai, India) [Conference or workshop publication]

This list was created automatically on Tue Feb 7 04:35:22 2023 CET