Jan Bækgaard Pedersen

Jan Bækgaard Pedersen, Matthew Sowders: Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces. CPA 2011: 71-85

Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown: Adding Formal Verification to occam-π. CPA 2011: 379

Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon M. Kerridge, Jan F. Broenink, Frederick R. M. Barnes (Eds.): 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011. Concurrent Systems Engineering Series 68, IOS Press 2011, isbn 978-1-60750-773-4

Peter H. Welch, Jan Bækgaard Pedersen: Santa Claus: Formal analysis of a process-oriented solution. ACM Trans. Program. Lang. Syst. 32(4) (2010)

Jan Bækgaard Pedersen, Brian Kauke: Resumable Java Bytecode - Process Mobility for the JVM. CPA 2009: 159-172

Jan Bækgaard Pedersen, Alex Brodsky, Jeffrey Sampson: Approximating the buffer allocation problem using epochs. J. Parallel Distrib. Comput. 68(9): 1263-1282 (2008)

George Oprean, Jan Bækgaard Pedersen: Asynchronous Active Objects in Java. CPA 2008: 237-254

Jason Hurt, Jan Bækgaard Pedersen: Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques. CPA 2008: 381-396

Peter H. Welch, Jan Bækgaard Pedersen: Santa Claus - with Mobile Reindeer and Elves. CPA 2008: 455

Jan Bækgaard Pedersen: Classification of Programming Errors in Parallel Message Passing Systems. CPA 2006: 363-376

Alex Brodsky, Jan Bækgaard Pedersen, Alan S. Wagner: On the complexity of buffer allocation in message passing systems. J. Parallel Distrib. Comput. 65(6): 692-713 (2005)

Dmitry Brodsky, Jan Bækgaard Pedersen: A Parallel Framework for Simplification of Massive Meshes. IEEE Symposium on Parallel and Large-Data Visualization and Graphics 2003: 17-24

Alex Brodsky, Jan Bækgaard Pedersen, Alan S. Wagner: On the Complexity of Buffer Allocation in Message Passing Systems. CoRR cs.DC/0301035 (2003)

Dmitry Brodsky, Jan Bækgaard Pedersen: Parallel Model Simplification of Very Large Polygonal Meshes. PDPTA 2002: 1207-1215

Jan Bækgaard Pedersen, Alan S. Wagner: Correcting Errors in Message Passing Systems. HIPS 2001: 122-138

Jan Bækgaard Pedersen, Alan S. Wagner: Correcting Errors in Message Passing Systems. IPDPS 2001: 106

Jan Bækgaard Pedersen, Alan S. Wagner: PVMbuilder - A Tool for Parallel Programming. Euro-Par 1999: 108-112