Login / Signup
Ferdinand Vesely
ORCID
Publication Activity (10 Years)
Years Active: 2014-2019
Publications (10 Years): 1
Top Topics
Cooperative
Intended Meaning
Database
Top Venues
WRLA
ESOP
Logic, Rewriting, and Concurrency
</>
Publications
</>
Ferdinand Vesely
,
Kathleen Fisher
One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts.
ESOP
(2019)
Peter D. Mosses
,
Ferdinand Vesely
Weak Bisimulation as a Congruence in MSOS.
Logic, Rewriting, and Concurrency
(2015)
Peter D. Mosses
,
Ferdinand Vesely
FunKons: Component-Based Semantics in K.
WRLA
(2014)