235 search results - page 16 / 47 » Well-behaved Translations between Structural Operational Sem... |
124
click to vote
ENTCS
2008
15 years 4 months ago
2008
Progress, Extended Abstract) Philippe Jorrand1 Simon Perdrix2 Leibniz Laboratory IMAG-INPG Grenoble, France The aim of this paper is to introduce a general model of quantum comput...
129
Voted
MPC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
136
click to vote
ESWS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We think of Match as an operator which takes two graph-like structures and produces a mapping between those nodes of the two graphs that correspond semantically to each o...
144
click to vote
ENTCS
2006
15 years 4 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
123
Voted
LICS
2000
IEEE
15 years 9 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...