Jan Bækgaard Pedersen

28 papers A 1C 1Misc 1Journal 9Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
Communicating Cooperatively Scheduled Processes: On the Unlikelihood of Implementing a Pure CSP Channel.
Formal Aspects Comput.
Kevin Chalmers, Jan Bækgaard Pedersen
2025 J jnl
Analysing Concurrent Queues Using CSP: Examining Java's ConcurrentLinkedQueue.
Softw.
Kevin Chalmers, Jan Bækgaard Pedersen
2025 J jnl
Fair Kernel-Lock-Free Claim/Release Protocol for Shared Object Access in Cooperatively Scheduled Runtimes.
CoRR
Kevin Chalmers, Jan Bækgaard Pedersen
2023 J jnl
Toward Verifying Cooperatively Scheduled Runtimes Using CSP.
Formal Aspects Comput.
Jan Bækgaard Pedersen, Kevin Chalmers
2019 — conf
Verifying channel communication correctness for a multi-core cooperatively scheduled runtime using CSP.
FormaliSE@ICSE
Jan Bækgaard Pedersen, Kevin Chalmers
2018 J jnl
The symbiosis of concurrency and verification: teaching and case studies.
Formal Aspects Comput.
Jan Bækgaard Pedersen, Peter H. Welch
2013 — ed.
35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013
CPA
Peter H. Welch, Frederick R. M. Barnes, Jan F. Broenink, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson
2013 — conf
Mutually Assured Destruction (or the Joy of Sync).
CPA
Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes
2013 — conf
ProcessJ: A Possible Future of Process-Oriented Design.
CPA
Jan Bækgaard Pedersen, Marc L. Smith
2013 — conf
The Distributed Application Debugger.
CPA
Michael Quinn Jones, Jan Bækgaard Pedersen
2012 — ed.
34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012
CPA
Peter H. Welch, Frederick R. M. Barnes, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson
2011 — ed.
33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011
CPA
Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon M. Kerridge, Jan F. Broenink, Frederick R. M. Barnes
2011 — conf
Adding Formal Verification to occam-π.
CPA
Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown
2011 — conf
Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces.
CPA
Jan Bækgaard Pedersen, Matthew Sowders
2010 J jnl
Santa Claus: Formal analysis of a process-oriented solution.
ACM Trans. Program. Lang. Syst.
Peter H. Welch, Jan Bækgaard Pedersen
2009 — conf
Resumable Java Bytecode - Process Mobility for the JVM.
CPA
Jan Bækgaard Pedersen, Brian Kauke
2008 J jnl
Approximating the buffer allocation problem using epochs.
J. Parallel Distributed Comput.
Jan Bækgaard Pedersen, Alex Brodsky, Jeffrey Sampson
2008 — conf
Asynchronous Active Objects in Java.
CPA
George Oprean, Jan Bækgaard Pedersen
2008 — conf
Santa Claus - with Mobile Reindeer and Elves.
CPA
Peter H. Welch, Jan Bækgaard Pedersen
2008 — conf
Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques.
CPA
Jason Hurt, Jan Bækgaard Pedersen
2006 — conf
Classification of Programming Errors in Parallel Message Passing Systems.
CPA
Jan Bækgaard Pedersen
2005 J jnl
On the complexity of buffer allocation in message passing systems.
J. Parallel Distributed Comput.
Alex Brodsky, Jan Bækgaard Pedersen, Alan S. Wagner
2003 — conf
A Parallel Framework for Simplification of Massive Meshes.
IEEE Symposium on Parallel and Large-Data Visualization and Graphics
Dmitry Brodsky, Jan Bækgaard Pedersen
2003 J jnl
On the Complexity of Buffer Allocation in Message Passing Systems
CoRR
Alex Brodsky, Jan Bækgaard Pedersen, Alan S. Wagner
2002 Misc conf
Parallel Model Simplification of Very Large Polygonal Meshes.
PDPTA
Dmitry Brodsky, Jan Bækgaard Pedersen
2001 C conf
Correcting Errors in Message Passing Systems.
HIPS
Jan Bækgaard Pedersen, Alan S. Wagner
2001 A conf
Correcting Errors in Message Passing Systems.
IPDPS
Jan Bækgaard Pedersen, Alan S. Wagner
1999 — conf
PVMbuilder - A Tool for Parallel Programming.
Euro-Par
Jan Bækgaard Pedersen, Alan S. Wagner