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: 12.

Article

Majster-Cederbaum, Mila ; Fecher, Harald (2006) Action Refinement Applied to Late Decisions. Formal Aspects of Computing London [u.a.] 18 2 211-230 [Article]

Majster-Cederbaum, Mila ; Fecher, Harald (2005) Event Structures for Arbitrary Disruption. Fundamenta informaticae Amsterdam 68 1/2 103-130 [Article]

Fecher, Harald (2004) A Completed Hierarchy of True Concurrent Equivalences. Information Processing Letters Amsterdam [u.a.] 89 5 261-265 [Article]

Fecher, Harald (2004) Event Structures for Interrupt Process Algebras. Electronic Notes in Theoretical Computer Science : ENTCS Amsterdam [u.a.] 96 113-127 [Article]

Majster-Cederbaum, Mila ; Fecher, Harald ; Wu, Jinzhao (2002) Bundle Event Structures : a Revised Cpo Approach. Information Processing Letters Amsterdam [u.a.] 83 3 7-12 [Article]

Majster-Cederbaum, Mila ; Fecher, Harald ; Wu, Jinzhao (2002) Refinement of Actions in a Real-Time Process Algebra with a True Concurrency Model. Electronic Notes in Theoretical Computer Science : ENTCS Amsterdam [u.a.] 70 3 260-280 [Article]

Majster-Cederbaum, Mila ; Fecher, Harald (2002) Taking Decisions Late : End-Based Choice with Action Refinement. Electronic Notes in Theoretical Computer Science : ENTCS Amsterdam [u.a.] 70 3 244-259 [Article]

Fecher, Harald (2001) A real-time process algebra with open intervals and maximal progress. Nordic Journal of Computing : NJC Helsinki 8 3 346-365 [Article]

Doctoral dissertation

Fecher, Harald (2003) Action Refinement in End-Based Choice Settings. Open Access None [Doctoral dissertation]
[img]
Preview

Conference or workshop publication

Wolf, Verena ; Fecher, Harald ; Leucker, Martin Don't Know in Probabilistic Systems. Valmari, Antti Lecture Notes in Computer Science 3925 71-88 In: Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006; proceedings (2006) 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]

Fecher, Harald ; Majster-Cederbaum, Mila ; Wu, Jinzhao Action Refinement for Probabilistic Processes with True Concurrency. Hermanns, Holger Lecture Notes in Computer Science 2399 77-94 In: Process algebra and probabilistic methods : performance modeling and verification; second Joint International Workshop PAPM PROBMIV 2002, Copenhagen, Denmark, July 25 - 26, 2002; proceedings (2002) Berlin [u.a.] [Conference or workshop publication]

This list was created automatically on Thu Feb 2 04:57:02 2023 CET