| 2009 | ||
|---|---|---|
| j3 | Paul Howells, Mark d'Inverno: A CSP model with flexible parallel termination semantics. Formal Asp. Comput. 21(5): 421-449 (2009) | |
| 2002 | ||
| j2 | Mark d'Inverno, Paul Howells, Michael J. Hu, Michael Luck: Soft-link hypertext for information retrieval. Information & Software Technology 44(2): 101-112 (2002) | |
| 1999 | ||
| j1 | George R. Ribeiro-Justo, Paul Howells, Mark d'Inverno: Formalising high-performance systems methodologies. Journal of Systems Architecture 45(6-7): 441-464 (1999) | |
| 1996 | ||
| c1 | Mark d'Inverno, George R. Ribeiro-Justo, Paul Howells: A Formal Framework for Specifying Design Methods. HICSS (1) 1996: 741- | |
| 1 | Michael J. Hu | |
| 2 | Michael Luck | |
| 3 | George R. Ribeiro-Justo | |
| 4 | Mark d'Inverno |
Data released under the ODC-BY 1.0 license — See also our legal information page