On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces
- Submitting institution
-
University of Nottingham, The
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 1319304
- Type
- D - Journal article
- DOI
-
10.1145/2882784
- Title of journal
- ACM Transactions on Computer-Human Interaction
- Article number
- 9
- First page
- -
- Volume
- 23
- Issue
- 2
- ISSN
- 1073-0516
- Open access status
- Out of scope for open access requirements
- Month of publication
- May
- Year of publication
- 2016
- 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
-
3
- Research group(s)
-
-
- Citation count
- 11
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Originality lies in an intra-disciplinary collaboration between HCI and formal computing which leads to an extension of Robin Milner’s bigraphs formalism for reasoning about ubiquitous computing. Rigour lies in bigraphs analysis of a complex real-world example which includes user behaviour and context, leading. Robin Milner had instigated the modelling of the Savannah case study just before he passed away and this paper continued and completed the work, leading to key extension to bigraphs.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
