520 search results - page 68 / 104 » An Algebraic Semantics for MOF |
113
click to vote
CALCO
2005
Springer
15 years 7 months ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
LCPC
2001
Springer
15 years 6 months ago
2001
Springer
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better co...
111
click to vote
APN
1994
Springer
15 years 6 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
112
click to vote
ENTCS
2010
15 years 2 months ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
148
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...