|
Search the dblp DataBase
Muck van Weerdenburg:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko
From µCRL to mCRL2: Motivation and Outline. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:191-196 [Journal]
- Michel A. Reniers, Muck van Weerdenburg
Action Abstraction in Timed Process Algebra. [Citation Graph (0, 0)][DBLP] FSEN, 2007, pp:287-301 [Conf]
- Muck van Weerdenburg
An Account of Implementing Applicative Term Rewriting. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:139-155 [Journal]
The Formal Specification Language mCRL2. [Citation Graph (, )][DBLP]
Process Algebra with Local Communication. [Citation Graph (, )][DBLP]
Automating Soundness Proofs. [Citation Graph (, )][DBLP]
Structural Operational Semantics with First-Order Logic. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|