팔로우
Joshua Holland
Joshua Holland
University of Southampton
soton.ac.uk의 이메일 확인됨
제목
인용
인용
연도
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
622019
Refinement for signal flow graphs
F Bonchi, J Holland, D Pavlovic, P Sobocinski
28th International Conference on Concurrency Theory (CONCUR 2017), 2017
172017
Defining Partial Orders on Graphical Models of Concurrent Systems
J Holland
University of Southampton, 2021
2021
Coalgebraic operations on bi-infinite streams
J Holland
CALCO EARLY IDEAS 2017, 5, 0
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–4