Search
Search Constraints
You searched for: Author/Creator Gibson-Robinson, ThomasLimit your search
- Gibson-Robinson, Thomas [remove] 3
- 004.05 2
- CSP -- FDR -- Bisimulation -- Strong bisimulation -- Delay bisimulation -- Weak bisimulation -- Labelled transition systems -- Model-checking 2
- Computer science -- Periodicals 2
- 004/.3 1
- Computer Communication Networks 1
- Computer Science 1
- Computer multitasking 1
- Computer programming / software development 1
- Computer science 1
- Computer security 1