Kirstin Peters

Available identifiers

zbMath Open peters.kirstinMaRDI QIDQ2123057

List of research outcomes

Publication	Date of Publication	Type
Encodability criteria for quantum based systems	2024-06-27	Paper
Mixed choice in session types	2024-05-24	Paper
On the expressiveness of mixed choice sessions	2024-02-06	Paper
FTMPST: fault-tolerant multiparty session types	2024-01-16	Paper
Encodability criteria for quantum based systems	2022-08-19	Paper
Fault-tolerant multiparty session types	2022-08-19	Paper
Session types for link failures	2022-06-15	Paper
On distributability	2022-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q3385647	2021-12-20	Paper
On the distributability of mobile ambients	2021-12-17	Paper
Analysing and comparing encodability criteria	2021-12-03	Paper
Encoding CSP into CCS	2021-12-03	Paper
Matching in the pi-calculus	2021-06-23	Paper
Adding priority to event structures	2021-06-09	Paper
Synchrony vs causality in the asynchronous \(\pi\)-calculus	2021-03-10	Paper
Synchrony vs. causality in asynchronous Petri nets	2021-03-10	Paper
Breaking symmetries	2021-02-24	Paper
Distributability of mobile ambients	2020-12-15	Paper
Coupled similarity: the first 32 years	2020-05-26	Paper
Taming concurrency for verification using multiparty session types	2019-12-12	Paper
Dynamic causality in event structures	2018-04-25	Paper
Synchrony versus causality in distributed systems	2017-04-04	Paper
Breaking symmetries	2017-04-04	Paper
Mechanical Verification of a Constructive Proof for FLP	2016-10-27	Paper
Dynamic causality in event structures	2016-10-19	Paper
On distributability in process calculi	2013-08-05	Paper
Is it a ``good encoding of mixed choice?	2012-06-22	Paper

Research outcomes over time

This page was built for person: Kirstin Peters