Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Elimination of redundant operations in relational queries with general selection operators.. Computing, 34 (4): 303-323 (1985)Towards the hierarchical verification of reactive systems., and . Theor. Comput. Sci., 318 (3): 243-296 (2004)Deciding Bisimilarity and Similarity for Probabilistic Processes., , and . J. Comput. Syst. Sci., 60 (1): 187-231 (2000)Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa., and . ICTAC, volume 4281 of Lecture Notes in Computer Science, page 65-79. Springer, (2006)Towards action refinement for true concurrent real time., and . Acta Inf., 39 (8): 531-577 (2003)Denotational Linear Time Semantics and Sequential Composition., and . Inf. Process. Lett., 59 (3): 135-143 (1996)Deriving Non-determinism from Conjunction and Disjunction., and . FORTE, volume 3731 of Lecture Notes in Computer Science, page 351-365. Springer, (2005)Metric Completion versus Ideal Completion., and . Theor. Comput. Sci., 170 (1-2): 145-171 (1996)Refinement of actions for real-time concurrent systems with causal ambiguity., , and . Acta Inf., 42 (6-7): 389-418 (2006)A Simple Relation Between Relational and Predicate Transformer Semantics for Nondeterministic Programs.. Inf. Process. Lett., 11 (4/5): 190-192 (1980)