Mila E. Majster-Cederbaum

◀ ▶ joint publications with Christel Baier

> Home > Persons > Mila E. Majster-Cederbaum

Publications

2006
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/WolfBM06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/WolfBM06a
Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum:
Trace Semantics for Stochastic Systems with Nondeterminism. QAPL 2006: 187-204
2005
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/WolfBM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/WolfBM06
Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum:
Trace Machines for Observing Continuous-Time Markov Chains. QAPL 2005: 259-277
2000
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/BaierEM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/BaierEM00
Christel Baier, Bettina Engelen, Mila E. Majster-Cederbaum:
Deciding Bisimilarity and Similarity for Probabilistic Processes. J. Comput. Syst. Sci. 60(1): 187-231 (2000)
1997
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BaierM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BaierM97
Christel Baier, Mila E. Majster-Cederbaum:
Metric Semantics from Partial Order Semantics. Acta Informatica 34(9): 701-735 (1997)
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BaierM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BaierM97
Christel Baier, Mila E. Majster-Cederbaum:
The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach. Formal Aspects Comput. 9(4): 425-445 (1997)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BaierM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BaierM97
Christel Baier, Mila E. Majster-Cederbaum:
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages. Fundam. Informaticae 29(3): 225-256 (1997)
1996
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/BaierM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/BaierM96
Christel Baier, Mila E. Majster-Cederbaum:
Denotational Linear Time Semantics and Sequential Composition. Inf. Process. Lett. 59(3): 135-143 (1996)
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Majster-CederbaumB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Majster-CederbaumB96
Mila E. Majster-Cederbaum, Christel Baier:
Metric Completion versus Ideal Completion. Theor. Comput. Sci. 170(1-2): 145-171 (1996)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/BaierM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/BaierM96
Christel Baier, Mila E. Majster-Cederbaum:
A Categorical Characterization of Consistency Results. AMAST 1996: 473-486
1995
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/strict/Majster-Cederbaum95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/strict/Majster-Cederbaum95
Mila E. Majster-Cederbaum, Christel Baier:
Metric completion versus ideal completion. STRICT 1995: 236-248
1994
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BaierM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BaierM94
Christel Baier, Mila E. Majster-Cederbaum:
The Connection between an Event Structure Semantics and an Operational Semantics for TCSP. Acta Informatica 31(1): 81-104 (1994)
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BaierM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BaierM94
Christel Baier, Mila E. Majster-Cederbaum:
Denotational Semantics in the CPO and Metric Approach. Theor. Comput. Sci. 135(2): 171-220 (1994)
1991
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/BaierM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/BaierM91
Christel Baier, Mila E. Majster-Cederbaum:
The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP. FCT 1991: 105-120

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.