Johannes Åman Pohjola

From MaRDI portal
Person:1687763

Available identifiers

zbMath Open aman-pohjola.johannesMaRDI QIDQ1687763

List of research outcomes





PublicationDate of PublicationType
Kalas: a verified, end-to-end compiler for a choreographic language2024-07-15Paper
Psi-calculi revisited: connectivity and compositionality2024-02-06Paper
Into the Infinite - Theory Exploration for Coinduction2023-06-30Paper
https://portal.mardi4nfdi.de/entity/Q49951502021-06-23Paper
https://portal.mardi4nfdi.de/entity/Q51416192020-12-18Paper
A verified generational garbage collector for CakeML2019-08-21Paper
A verified generational garbage collector for CakeML2018-01-04Paper
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)2016-11-09Paper
Higher-order psi-calculi2016-07-26Paper
The Expressive Power of Monotonic Parallel Composition2016-04-26Paper
A sorted semantic framework for applied process calculi2016-04-19Paper
Broadcast Psi-calculi with an Application to Wireless Protocols2011-10-28Paper

Research outcomes over time

This page was built for person: Johannes Åman Pohjola

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1687763&oldid=6385514"
Powered by MediaWiki