Search
Search Constraints
You searched for: Author/Creator Roscoe, A.- Roscoe, A. [remove] 5
- 004.05 3
- Computer science -- Periodicals 3
- CSP -- FDR -- Bisimulation -- Strong bisimulation -- Delay bisimulation -- Weak bisimulation -- Labelled transition systems -- Model-checking 2
- 616.39005 1
- 617.96 1
- Anesthesia -- Periodicals 1
- Component-based development -- Correct by construction -- Designs -- Metadata -- Behavioural pattern -- Deadlock analysis -- CSP 1
- Metabolism -- Disorders -- Periodicals 1
- Nutritionally induced diseases -- Periodicals 1