Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

Number of items: 2.

Article

Welch, Peter H. and Pedersen, Jan B. (2010) Santa Claus: Formal analysis of a process-oriented solution. ACM Transactions on Programming Languages and Systems, 32 (4). pp. 182-196. The full text of this publication is not available from this repository.

Conference or workshop item

Welch, P.H. and Pedersen, Jan B. (2008) Santa Claus - with Mobile Reindeer and Elves. In: Communicating Process Architectures 2008, Sept 07-10, 2008, York, England. The full text of this publication is not available from this repository.

This list was generated on Sat May 25 02:37:55 2013 BST.