Mila E. Majster-Cederbaum

Available identifiers

zbMath Open majster-cederbaum.mila-eMaRDI QIDQ671405

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4963909	2021-02-24	Paper
Transition systems from event structures revisited	2016-06-09	Paper
Deadlock-freedom in component systems with architectural constraints	2014-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q2844828	2013-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q2844829	2013-08-19	Paper
Analyzing Component-Based Systems on the Basis of Architectural Constraints	2012-06-29	Paper
On hierarchically developing reactive systems	2010-10-07	Paper
Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems	2009-11-19	Paper
Robustness in Interaction Systems	2009-03-10	Paper
Everything Is PSPACE-Complete in Interaction Systems	2009-01-27	Paper
Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa	2008-09-11	Paper
Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets	2008-03-07	Paper
An Approach to Modelling and Verification of Component Based Systems	2008-03-07	Paper
A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems	2008-03-07	Paper
Ensuring Properties of Interaction Systems	2007-09-24	Paper
Action refinement applied to late decisions	2006-10-25	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q5472886	2006-06-19	Paper
Refinement of actions for real-time concurrent systems with causal ambiguity	2006-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q4813199	2004-08-13	Paper
Towards the hierarchical verification of reactive systems	2004-08-10	Paper
Towards action refinement for true concurrent real time	2004-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q4414393	2003-07-25	Paper
Bundle event structures: a revised cpo approach.	2003-01-21	Paper
Underspecification for a simple process algebra of recursive processes.	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2753759	2002-01-14	Paper
Towards a unified view of bisimulation: A comparative study	2000-08-21	Paper
Deciding bisimilarity and similarity for probabilistic processes.	2000-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4375632	1998-03-02	Paper
The connection between initial and unique solutions of domain equations in the partial order and metric approach	1998-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4341025	1997-09-15	Paper
Metric semantics from partial order semantics	1997-09-09	Paper
Denotational linear time semantics and sequential composition	1997-02-27	Paper
Metric completion versus ideal completion	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4896928	1997-02-03	Paper
Denotational semantics in the cpo and metric approach	1995-04-06	Paper
The connection between an event structure semantics and an operational semantics for TCSP	1994-05-10	Paper
The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)	1994-04-05	Paper
Ensuring the existence of a BCNF-decomposition that preserves functional dependencies in \(O(N^ 2)\) time	1993-01-17	Paper
Towards a foundation for semantics in complete metric spaces	1992-06-25	Paper
The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces	1989-01-01	Paper
On the uniqueness of fixed points of endofunctors in a category of complete metric spaces	1988-01-01	Paper
Elimination of redundant operations in relational queries with general selection operators	1985-01-01	Paper
A simple relation between relational and predicate transformer semantics for nondeterministic programs	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3938526	1980-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mila E. Majster-Cederbaum