dblp.uni-trier.dewww.uni-trier.de

Muck van Weerdenburg

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEMuck van Weerdenburg: Process Algebra with Local Communication. Electr. Notes Theor. Comput. Sci. 215: 191-208 (2008)
2007
4EEMichel A. Reniers, Muck van Weerdenburg: Action Abstraction in Timed Process Algebra. FSEN 2007: 287-301
3EEMuck van Weerdenburg: An Account of Implementing Applicative Term Rewriting. Electr. Notes Theor. Comput. Sci. 174(10): 139-155 (2007)
2006
2EEJan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg: The Formal Specification Language mCRL2. MMOSS 2006
1EEJan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko: From µCRL to mCRL2: Motivation and Outline. Electr. Notes Theor. Comput. Sci. 162: 191-196 (2006)

Coauthor Index

1Jan Friso Groote [1] [2]
2Aad Mathijssen [1] [2]
3Michel A. Reniers [2] [4]
4Yaroslav S. Usenko [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)