丹尼尔·隆德；约翰·博格斯特罗姆；大卫·布罗曼 概率编程语言的序贯蒙特卡罗推理的正确性。 （英语） Zbl 1473.68038号 Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12648, 404-431 (2021).MSC公司：68甲15 68甲18 第68页第19页 68问题55 87年第68季度 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.Lundén}等人，Lect。票据计算。科学。12648、404--431（2021；Zbl 1473.68038） 全文： 内政部 arXiv公司
约阿希姆·帕罗；约翰·博格斯特罗姆；埃里克森，拉尔斯·亨里克；拉姆纳斯·福斯伯格·古特科瓦斯；Tjark韦伯 标称过渡系统的模态逻辑。 （英语） Zbl 1509.68188号 日志。方法计算。科学。 17，第1号，第6号论文，49页（2021年）.MSC公司：68问题85 03B45号 03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Parrow}等人，Log。方法计算。科学。17，第1号，第6号论文，49页（2021；Zbl 1509.68188） 全文： arXiv公司 链接
约翰·博格斯特罗姆；古斯科瓦斯，拉姆纳斯；约阿希姆·帕罗；比约恩·维克多；Åman Pohjola，约翰内斯 应用程序计算的分类语义框架（扩展抽象）。 （英语） Zbl 1348.68158号 Abadi，Martín（编辑）等人，《值得信赖的全球计算》。2013年8月30日至31日在阿根廷布宜诺斯艾利斯举行的第八届TGC国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-05118-5/pbk；978-3-3169-05119-2/电子书）。计算机科学课堂讲稿8358103-118（2014）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Borgström}等人，Lect。票据计算。科学。8358、103--118（2014年；Zbl 1348.68158） 全文： 内政部 arXiv公司
约翰·博格斯特罗姆；安德鲁·戈登。；迈克尔·格林伯格；詹姆斯·马盖特森；尤尔根·范盖尔 贝叶斯机器学习的度量变换语义。 （英语） 兹比尔1326.68217 Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，作为欧洲软件理论和实践联合会议的一部分，在德国萨尔布吕肯举行了第20届欧洲编程研讨会，ESOP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记660277-96（2011）。MSC公司：68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Borgström}等人，Lect。票据计算。科学。6602,77--96（2011；Zbl 1326.68217） 全文： 内政部 arXiv公司
约翰·博格斯特罗姆 扩展spi演算的完全符号双相似性。 （英语） 兹比尔1294.68109 Kremer，Steve（编辑）等人，第六届并发安全问题国际研讨会会议记录（SecCo 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第3期，3-20（2009）。MSC公司：第68季度第60季度 94A60型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Borgström}，电子。注释Theor。计算。科学。242，第3、3--20号（2009年；Zbl 1294.68109） 全文： 内政部
约翰·博格斯特罗姆；安德鲁·戈登。；安德鲁·菲利普斯 像素的图表语义。 （英语） 兹比尔1277.68164 Amadio，Roberto（编辑）等人，第14届并发表达性国际研讨会论文集（EXPRESS 2007），葡萄牙里斯本，2007年9月3日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第2期，3-29页（2008年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Borgström}等人，《电子》。注释Theor。计算。科学。194，第2号，第3--29号（2008；Zbl 1277.68164） 全文： 内政部