Muck van Weerdenburg

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
Structural operational semantics with first-order logic Electronic Notes in Theoretical Computer Science	2016-06-03	Paper
Automating soundness proofs Electronic Notes in Theoretical Computer Science	2016-06-03	Paper
From \(\mu\)CRL to mCRL2: motivation and outline Electronic Notes in Theoretical Computer Science	2015-07-10	Paper
An account of implementing applicative term rewriting Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Search algorithms for automated validation The Journal of Logic and Algebraic Programming	2009-04-29	Paper
Analysis of distributed systems with mCRL2	2009-03-09	Paper
Action Abstraction in Timed Process Algebra Lecture Notes in Computer Science	2008-07-01	Paper

Research outcomes over time

This page was built for person: Muck van Weerdenburg