Author/Creator: Gibson-Robinson, Thomas - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Gibson-Robinson, Thomas

1. Concurrency, security, and puzzles : essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday /: essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday. ([2017])

Editors:: Gibson-Robinson, Thomas; Hopcroft, Philippa; Lazić, Ranko
Other Names:: Roscoe, A. W honouree.
Record Type:: Book
Extent:: 1 online resource (xviii, 319 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Computing maximal weak and other bisimulations. (May 2016)

Authors:: Boulgakov, Alexandre; Gibson-Robinson, Thomas; Roscoe, A.
Journal:: Formal aspects of computing
Issue:: Volume 28:Number 3(2016)
Page Start:: 381
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Computing maximal weak and other bisimulations. (May 2016)

Authors:: Boulgakov, Alexandre; Gibson-Robinson, Thomas; Roscoe, A.
Journal:: Formal aspects of computing
Issue:: Volume 28:Number 3(2016)
Page Start:: 381
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗