David A. Spooner

According to our database, David A. Spooner authored at least 4 papers between 1994 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1997

Constructing Process Categories.

J. Robin B. Cockett, David A. Spooner

Theor. Comput. Sci., 1997

1995

Categories for synchrony and asynchrony.

J. Robin B. Cockett, David A. Spooner

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

A View on Implementing Processes: Categories of Circuits.

Ulrich Hensel, David A. Spooner

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

SProc Categorically.

J. Robin B. Cockett, David A. Spooner

Proceedings of the CONCUR '94, 1994