Joshua Holland
Joshua Holland
Verified email at soton.ac.uk
Title
Cited by
Cited by
Year
Diagrammatic algebra: from linear to concurrent systems
F Bonchi, J Holland, R Piedeleu, P Sobociński, F Zanasi
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
212019
Refinement for signal flow graphs
F Bonchi, J Holland, D Pavlovic, P Sobocinski
28th International Conference on Concurrency Theory (CONCUR 2017), 2017
82017
Coalgebraic operations on bi-infinite streams
J Holland
CALCO EARLY IDEAS 2017, 5, 0
The system can't perform the operation now. Try again later.
Articles 1–3