4666 search results - page 4 / 934 » Equations on Timed Languages |
CMSB
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
IFIP
1998
Springer
15 years 4 months ago
1998
Springer
MFCS
2005
Springer
15 years 5 months ago
2005
Springer
In the maximum solution equation problem a collection of equations are given over some algebraic structure. The objective is to find an assignment to the variables in the equation...
TACS
2001
Springer
15 years 4 months ago
2001
Springer
Decidability of non-structural subtype entailment is a long standing open problem in programming language theory. In this paper, we apply automata theoretic methods to characterize...
100
click to vote
WADT
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...