| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 5 |      | Matthew Collinson, Brian Monahan, David J. Pym: A Logical and Computational Theory of Located Resource. J. Log. Comput. 19(6): 1207-1244 (2009) |
| 2003 | ||
| 4 | | Brian Monahan: From Security Protocols to Systems Security. Security Protocols Workshop 2003: 307-322 |
| 3 | | Brian Monahan: From Security Protocols to Systems Security (Discussion). Security Protocols Workshop 2003: 323-323 |
| 1996 | ||
| 2 | | Howard Barringer, Graham Gough, Brian Monahan, Alan Williams: A Process Algebra Foundation for Reasoning about Core ELLA. Comput. J. 39(4): 303-324 (1996) |
| 1995 | ||
| 1 | | Howard Barringer, Graham Gough, Brian Monahan, Alan Williams: Formal support for the ELLA hardwar description language. CHARME 1995: 225-245 |
| 1 | Howard Barringer | [1] [2] |
| 2 | Matthew Collinson | [5] |
| 3 | Graham Gough | [1] [2] |
| 4 | David J. Pym | [5] |
| 5 | Alan Williams | [1] [2] |
Colors in the list of coauthors
Last update Fri Feb 10 22:28:48 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page