Personen - MADOC

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung

Anzahl der Einträge: 12.

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

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.] [Konferenzveröffentlichung]

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

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

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

Fecher, Harald (2003) Action Refinement in End-Based Choice Settings.

None [Dissertation]

Vorschau

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.] [Konferenzveröffentlichung]

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.] [Konferenzveröffentlichung]

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 [Zeitschriftenartikel]

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 [Zeitschriftenartikel]

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 [Zeitschriftenartikel]

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

Diese Liste wurde am Fri Apr 26 01:30:55 2024 CEST automatisch erstellt.

Zitation