David Scholefield

According to our database, David Scholefield authored at least 12 papers between 1990 and 1996.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1996

Real-Time Refinement in Manna and Pnueli's Temporal Logic.

David Scholefield

Formal Aspects Comput., 1996

1995

Proving Properties of Real-Time Semaphores.

David Scholefield

Sci. Comput. Program., 1995

Transformational vs Reactive Refinement in Real-Time Systems.

Simon Atkinson, David Scholefield

Inf. Process. Lett., 1995

1994

A Specification-Oriented Semantics for the Refinement of Real-Time Systems.

David Scholefield, Hussein S. M. Zedan, Jifeng He

Theor. Comput. Sci., 1994

1993

A Predicative Semantics for the Refinement of Real-Time Systems.

David Scholefield, Hussein S. M. Zedan, Jifeng He

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

Real-Time Refinement: Semantics and Application.

David Scholefield, Hussein S. M. Zedan, Jifeng He

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992

A refinement calculus for real-time systems.

David Jason Scholefield

PhD thesis, 1992

Weakest Precondition Semantics for Time and Concurrency.

David Scholefield, Hussein S. M. Zedan

Inf. Process. Lett., 1992

TAM: A Formal Framework for the Development of Distributed Real-Time Systems.

David Scholefield, Hussein S. M. Zedan

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

The refinement of real-time systems.

David Scholefield, Hussein S. M. Zedan

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

1990

TAM: Temporal agent model for real-time distributed systems.

David Scholefield, Hussein Zedan

Microprocessing and Microprogramming, 1990

Compensation functions and requirements.

David Scholefield, Hussein S. M. Zedan

Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990