Monika Kapus-Kolar

From MaRDI portal
Person:780054

Available identifiers

zbMath Open kapus-kolar.monikaMaRDI QIDQ780054

List of research outcomes





PublicationDate of PublicationType
Comments on deriving protocol specifications from service specifications written in LOTOS2020-12-03Paper
Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels2020-07-14Paper
https://portal.mardi4nfdi.de/entity/Q34004222010-02-05Paper
https://portal.mardi4nfdi.de/entity/Q44591122004-03-25Paper

Research outcomes over time

This page was built for person: Monika Kapus-Kolar

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