David Scholefield

Publication Activity (10 Years)

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

Publications

David Scholefield
Real-Time Refinement in Manna and Pnueli's Temporal Logic. Formal Aspects Comput. 8 (4) (1996)
Simon Atkinson, David Scholefield
Transformational vs Reactive Refinement in Real-Time Systems. Inf. Process. Lett. 55 (4) (1995)
David Scholefield
Proving Properties of Real-Time Semaphores. Sci. Comput. Program. 24 (2) (1995)
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)
David Scholefield, Hussein S. M. Zedan, Jifeng He
Real-Time Refinement: Semantics and Application. MFCS (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)
David Scholefield, Hussein Zedan
TAM: Temporal agent model for real-time distributed systems. Microprocessing and Microprogramming 30 (1-5) (1990)
David Scholefield, Hussein S. M. Zedan
Compensation functions and requirements. ACM SIGOPS European Workshop (1990)