Mila E. Majster-Cederbaum (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

46		Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue: Refinement of actions for real-time concurrent systems with causal ambiguity. Acta Inf. 42(6-7): 389-418 (2006)
40		Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan: Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. ICFEM 2004: 449-463
39		Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum: Formal Specification of an Asynchronous Processor via Action Refinement. MTV 2004: 36-41
37		Mila E. Majster-Cederbaum, Jinzhao Wu: Adding Action Refinement to Stochastic True Concurrency Models. ICFEM 2003: 226-245
35		Mila E. Majster-Cederbaum, Jinzhao Wu: Towards action refinement for true concurrent real time. Acta Inf. 39(8): 531-577 (2003)
34		Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu: Action Refinement for Probabilistic Processes with True Concurrency Models. PAPM-PROBMIV 2002: 77-94
32		Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu: Refinement of actions in a real-time process algebra with a true concurrency model. Electr. Notes Theor. Comput. Sci. 70(3): 260-280 (2002)
31		Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu: Bundle event structures: A revised cpo approach. Inf. Process. Lett. 83(1): 7-12 (2002)
30		Mila E. Majster-Cederbaum, Jinzhao Wu: Action Refinement for True Concurrent Real Time. ICECCS 2001: 58-68

Selection of 9 from 65 records - Mila E. Majster-Cederbaum has 22 coauthors

Last update 2012-09-10 CET by the DBLP Team — Content released under the ODC-BY 1.0 license — See also our legal information page