Wendelin Serwe

Available identifiers

zbMath Open serwe.wendelinMaRDI QIDQ820123

List of research outcomes

Publication	Date of Publication	Type
From LOTOS to LNT	2022-11-09	Paper
Defining actions in concurrent declarative programming	2013-07-24	Paper
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes	2011-05-19	Paper
Towards Performance Prediction of Compositional Models in Industrial GALS Designs	2009-06-30	Paper
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP	2009-02-19	Paper
Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS	2007-11-29	Paper
State space reduction for process algebra specifications	2006-04-06	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q2767062	2002-01-28	Paper

Research outcomes over time

This page was built for person: Wendelin Serwe