Author:
Majster-Cederbaum Mila,Wu Jinzhao,Yue Houguang,Zhan Naijun
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Bowman, H., Katoen, J.-P.: A True Concurrency Semantics for ET-LOTOS. In: Proceedings Int. Conference on Applications of Concurrency to System Design, pp. 228–239 (1998)
2. Castellano, L., Michelis, G., Pomello, L.: Concurrency vs Interleaving: An Instructive Example. Bull. EATCS 31, 12–15 (1987)
3. Fecher, H., Majster-Cederbaum, M., Wu, J.: Bundle Event Structures: A Revised Cpo Approach. Information Processing Letters 83, 7–12 (2002)
4. Fecher, H., Majster-Cederbaum, M., Wu, J.: Refinement of Actions in a Real-Time Process Algebra with a True Concurrency Model. Electronic Notes in Theoretical Computer Science 70(3) (2002)
5. Fecher, H., Majster-Cederbaum, M., Wu, J.: PROBMIV 2002, PAPM-PROBMIV 2002, and PAPM 2002. LNCS, vol. 2399, pp. 77–94 (2002)