BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × USA
Collaborated with:
V.Wolf C.Baier N.Semmelrock ∅ N.Zhan H.Fecher
Talks about:
system (2) semant (2) trace (2) point (2) nondetermin (1) architectur (1) constraint (1) stochast (1) reachabl (1) continu (1)

Person: Mila E. Majster-Cederbaum

DBLP DBLP: Majster-Cederbaum:Mila_E=

Contributed to:

GRAPHITE 20132013
QAPL 20062006
QAPL 20052006
VMCAI 20032003
ICALP 19801980

Wrote 5 papers:

GRAPHITE-2013-Majster-CederbaumS #architecture #constraints #operating system #reachability
Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete (MEMC, NS), pp. 1–11.
QAPL-2006-WolfBM06a #nondeterminism #probability #semantics
Trace Semantics for Stochastic Systems with Nondeterminism (VW, CB, MEMC), pp. 187–204.
QAPL-2005-WolfBM06 #markov
Trace Machines for Observing Continuous-Time Markov Chains (VW, CB, MEMC), pp. 259–277.
VMCAI-2003-Majster-CederbaumZF #logic #perspective #refinement
Action Refinement from a Logical Point of View (MEMC, NZ, HF), pp. 253–267.
ICALP-1980-Majster-Cederbaum #algebra #axiom #fixpoint #named #semantics
Semantics: Algebras, Fixed Points, Axioms (MEMC), pp. 394–408.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.