A categorical semantics of signal flow graphs
- Submitting institution
-
University College London
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 14181
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-662-44584-6_30
- Title of conference / published proceedings
- Proceedings of CONCUR 2014 (25th International Conference on Concurrency Theory), Lecture Notes in Computer Science
- First page
- 435
- Volume
- 8704 LNCS
- Issue
- -
- ISSN
- 0302-9743
- Open access status
- Out of scope for open access requirements
- Month of publication
- September
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This highly-cited work (mention for best-paper award, invited for a journal special issue) was the first to study signal flow graphs with tools of programming language semantics. It provides a complete axiomatisation for linear dynamical systems, which was used in at least 15 other publications in top venues in theoretical computer science (including LICS, POPL, FOSSACS, ESOP) in the subsequent years. Funded EPSRC grants EP/R020604/1 (£125k) and EP/V002376/1 (£530k) originated from this work. Part of this research reached a wider audience with a follow-up popularisation article on Chalkdust Magazine, and invited tutorials/schools at Midlands Graduate School ‘17 and CONCUR ‘17.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -