Christoph Wagner

Available identifiers

zbMath Open wagner.christoph-k-jMaRDI QIDQ900424

List of research outcomes

Publication	Date of Publication	Type
FTMPST: fault-tolerant multiparty session types	2024-01-16	Paper
Fault-tolerant multiparty session types	2022-08-19	Paper
Encoding CSP into CCS	2021-12-03	Paper
States in process calculi	2021-06-23	Paper
Taming concurrency for verification using multiparty session types	2019-12-12	Paper
Topological Self-Stabilization with Name-Passing Process Calculi	2018-03-21	Paper
Informed-principal problem with moral hazard, risk neutrality, and no limited liability	2015-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q3569560	2010-06-21	Paper
Cross- and Autocorrelation in Multi-Period Credit Portfolio Models	2008-12-01	Paper
An Introduction to Credit Risk Modeling	2005-04-06	Paper
Lyapunov instability for a hard-disk fluid in equilibrium and nonequilibrium thermostated by deterministic scattering	2002-09-05	Paper
Traffic flow models considering an internal degree of freedom	2000-11-02	Paper

Research outcomes over time

This page was built for person: Christoph Wagner