Hussein S. M. Zedan

Publication Activity (10 Years)

Years Active: 1990-1995
Publications (10 Years): 0

Publications

Ming Fang, Hussein S. M. Zedan, Chris Ho-Stuart
A model for timed-probabilistic behaviors. J. Syst. Softw. 28 (3) (1995)
Martin Portman, Hussein S. M. Zedan
The development of imprecise real-time systems. J. Syst. Softw. 27 (2) (1994)
David Scholefield, Hussein S. M. Zedan, Jifeng He
A Specification-Oriented Semantics for the Refinement of Real-Time Systems. Theor. Comput. Sci. 131 (1) (1994)
Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan
Specification of Real-Time Probabilistic Behaviour. PSTV (1993)
David Scholefield, Hussein S. M. Zedan, Jifeng He
Real-Time Refinement: Semantics and Application. MFCS (1993)
Chris Ho-Stuart, Hussein S. M. Zedan, Ming Fang
Congruent Weak Bisimulation with Dense Real-Time. Inf. Process. Lett. 46 (2) (1993)
David Scholefield, Hussein S. M. Zedan, Jifeng He
A Predicative Semantics for the Refinement of Real-Time Systems. MFPS (1993)
David Scholefield, Hussein S. M. Zedan
Weakest Precondition Semantics for Time and Concurrency. Inf. Process. Lett. 43 (6) (1992)
David Scholefield, Hussein S. M. Zedan
TAM: A Formal Framework for the Development of Distributed Real-Time Systems. FTRTFT (1992)
David Scholefield, Hussein S. M. Zedan
The refinement of real-time systems. RTS (1992)
Chris Ho-Stuart, Ming Fang, Hussein S. M. Zedan
Let's PARTY: Process Algebra With Real-time From York. RTS (1992)
David Scholefield, Hussein S. M. Zedan
Compensation functions and requirements. ACM SIGOPS European Workshop (1990)