9 search results - page 1 / 2 » Theoroidal Maps as Algebraic Simulations |
JLP
2010
13 years 3 months ago
2010
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...
WADT
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
WSC
2007
13 years 7 months ago
2007
In this paper the relation of high-level Petri-nets (hlpn) and linear algebra is outlined. On the basis of this relation the theory of the dual spaces can be brought in to a new c...
APLAS
2007
ACM
13 years 9 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
SAGA
2009
Springer
13 years 11 months ago
2009
Springer
We propose a generic method for obtaining quickly good upper bounds on the minimal value of a multistage stochastic program. The method is based on the simulation of a feasible dec...