635 citations
- U. Ebert2 profiles22 · h 43
- R. Hofstad14 · h 40
- S. Kokkelmans2 profiles8 · h 19
- A. Luque6 · h 25
- D. Mizuno2 profiles6 · h 22
- Johan S. H. van Leeuwaarden5
- S. Jabbari-Farouji5 · h 19
- S. J. J. M. F. Kokkelmans5
- T. Briels2 profiles5 · h 7
- Ute Ebert2 profiles5 · h 13
- W. Hundsdorfer2 profiles5 · h 35
- A. Cohen2 profiles4 · h 27
- Centrum Wiskunde & InformaticaNL35 papers
- Delft University of TechnologyNL13 papers
- University of AmsterdamNL11 papers
- Leiden UniversityNL9 papers
- Radboud University NijmegenNL9 papers
- Centre National de la Recherche ScientifiqueFR8 papers
- Vrije Universiteit AmsterdamNL8 papers
- Philips (Netherlands)NL7 papers
- California Institute of TechnologyUS6 papers
- Institut national de recherche en sciences et technologies du numériqueFR4 papers
- Max Planck SocietyDE4 papers
- NXP (Netherlands)NL4 papers
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012★ 4 cited
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages
D. Latella, M. Massink, E. P. de Vink
Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they cons…
cs.LO2012★ 4 cited
Expressiveness and Completeness in Abstraction
Maciej Gazda, Tim A. C. Willemse
We study two notions of expressiveness, which have appeared in abstraction theory for model checking, and find them incomparable in general. In particular, we show that according t…