Wendelin Serwe

MaRDI QIDQ820123zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
From LOTOS to LNT ModelEd, TestEd, TrustEd	2022-11-09	Paper
Defining actions in concurrent declarative programming Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
CADP 2010: a toolbox for the construction and analysis of distributed processes Tools and Algorithms for the Construction and Analysis of Systems	2011-05-19	Paper
Towards Performance Prediction of Compositional Models in Industrial GALS Designs Computer Aided Verification	2009-06-30	Paper
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP Science of Computer Programming	2009-02-19	Paper
Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS Lecture Notes in Computer Science	2007-11-29	Paper
State space reduction for process algebra specifications Theoretical Computer Science	2006-04-06	Paper
Algebraic Methodology and Software Technology Lecture Notes in Computer Science	2005-08-25	Paper
Algebraic Methodology and Software Technology Lecture Notes in Computer Science	2005-08-25	Paper
scientific article; zbMATH DE number 1696803 (Why is no real title available?)	2002-01-28	Paper

Research outcomes over time

This page was built for person: Wendelin Serwe