Erweiterte Suche
Zurück zur Übersicht
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0

Zitation

Gruppieren nach: Erscheinungsjahr | Autoren | Keine Sortierung
Anzahl der Einträge: 4.

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

Majster-Cederbaum, Mila ; Wu, Jinzhao (2003) Towards Action Refinement for True Concurrent Real Time. Acta Informatica Berlin [u.a.] 39 8 531-577 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Baier, Christel (1997) Metric Semantics from Partial Order Semantics. Acta Informatica Berlin [u.a.] 34 9 701-735 [Zeitschriftenartikel]

Baier, Christel ; Majster-Cederbaum, Mila (1994) The Connection Between an Event Structure Semantics and an Operational Semantics for TCSP. Acta Informatica Berlin [u.a.] 31 1 81-104 [Zeitschriftenartikel]

Diese Liste wurde am Sat Nov 23 03:12:37 2024 CET automatisch erstellt.