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

Frits W. Vaandrager (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Friso Groote, Frits W. Vaandrager: Structured Operational Semantics and Bisimulation as a Congruence Inf. Comput. 100(2): 202-260 (1992)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Friso Groote, Frits W. Vaandrager: An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. ICALP 1990: 626-638
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Friso Groote, Frits W. Vaandrager: Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract). ICALP 1989: 423-438

Selection of 3 from 83 records - Frits W. Vaandrager has 65 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page