Johannes Åman Pohjola

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A rely-guarantee-based simulation for cooperative semantics	2026-03-20	Paper
Mechanisation of model-theoretic conservative extension for HOL with ad-hoc overloading	2025-08-19	Paper
Kalas: a verified, end-to-end compiler for a choreographic language	2024-07-15	Paper
Psi-calculi revisited: connectivity and compositionality Formal Techniques for Distributed Objects, Components, and Systems	2024-02-06	Paper
Into the Infinite - Theory Exploration for Coinduction Artificial Intelligence and Symbolic Computation	2023-06-30	Paper
Priorities without priorities: representing preemption in psi-calculi	2021-06-23	Paper
Priorities without priorities: representing preemption in psi-calculi (available as arXiv preprint)	2021-06-23	Paper
scientific article; zbMATH DE number 7288621 (Why is no real title available?) (available as arXiv preprint)	2020-12-18	Paper
scientific article; zbMATH DE number 7288621 (Why is no real title available?)	2020-12-18	Paper
A verified generational garbage collector for CakeML Journal of Automated Reasoning	2019-08-21	Paper
A verified generational garbage collector for CakeML Interactive Theorem Proving	2018-01-04	Paper
A sorted semantic framework for applied process calculi (extended abstract) Trustworthy Global Computing	2016-11-09	Paper
Higher-order psi-calculi Mathematical Structures in Computer Science	2016-07-26	Paper
The expressive power of monotonic parallel composition Programming Languages and Systems	2016-04-26	Paper
A sorted semantic framework for applied process calculi Logical Methods in Computer Science	2016-04-19	Paper
Broadcast psi-calculi with an application to wireless protocols Software Engineering and Formal Methods	2011-10-28	Paper

Research outcomes over time

This page was built for person: Johannes Åman Pohjola