|This is a Wikipedia user page.
This is not an encyclopedia article. If you find this page on any site other than Wikipedia, you are viewing a mirror site. Be aware that the page may be outdated and that the user to whom this page belongs may have no personal affiliation with any site other than Wikipedia itself. The original page is located at
|Allan McInnes (talk) is busy in real life and may not respond swiftly to queries.|
Prior to creating an account I made a few minor contributions to the Wikipedia as 126.96.36.199.
I'm a participant in WikiProject Computer science, although I've been known to make the odd contribution to articles outside the scope of that project. I have a particular interest in concurrency theory (especially process calculi such as Communicating Sequential Processes (CSP) and the pi calculus), formal specification and formal methods (in particular "lightweight" methods and tools, such as the Alloy specification language and associated Alloy Analyzer), systems engineering, and software engineering.
Ideas for articles. Some include notes that are building towards an article, but are not yet ready to hit the Wikipedia proper. Once there's something reasonably coherent in place, they will get moved. Please feel free to add to these drafts if you want to.
- Models of concurrency - probably will eventually just become a part of the Concurrency (computer science) article.
- Fusion calculus
- Wymore's Tricotyledon theory of system design
Now in the main namespace