Rune Møllegård Friborg

	2011
6		Rune Møllegård Friborg, Brian Vinter: Verification of a Dynamic Channel Model using the SPIN Model Checker. CPA 2011: 35-54
5		Rune Møllegård Friborg, Brian Vinter: Rapid development of scalable scientific software using a process oriented approach. J. Comput. Science 2(3): 304-313 (2011)
	2010
4		Rune Møllegård Friborg, Brian Vinter, John Markus Bjørndalen: PyCSP - controlled concurrency. IJIPM 1(2): 40-49 (2010)
	2009
3		Brian Vinter, John Markus Bjørndalen, Rune Møllegård Friborg: PyCSP Revisited. CPA 2009: 263-276
2		Rune Møllegård Friborg, John Markus Bjørndalen, Brian Vinter: Three Unique Implementations of Processes for PyCSP. CPA 2009: 277-292
	2008
1		Rune Møllegård Friborg, Brian Vinter: CSPBuilder - CSP based Scientific Workflow Modelling. CPA 2008: 347-363

Coauthor Index

1	John Markus Bjørndalen	[2] [3] [4]
2	Brian Vinter	[1] [2] [3] [4] [5] [6]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page