Kirstin Peters

Available identifiers

zbMath Open peters.kirstinMaRDI QIDQ2123057

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6190871	2024-02-06	Paper
Fault-tolerant multiparty session types	2024-01-16	Paper
Fault-tolerant multiparty session types	2022-08-19	Paper
Encodability criteria for quantum based systems	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
https://portal.mardi4nfdi.de/entity/Q3384918	2021-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q5013871	2021-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q5013872	2021-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4995152	2021-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4992497	2021-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4965862	2021-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4965864	2021-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4964004	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
Breaking symmetries	2017-04-04	Paper
Synchrony versus causality in distributed systems	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kirstin Peters