210 search results - page 6 / 42 » Presenting Functors by Operations and Equations |
105
click to vote
DLT
1993
15 years 29 days ago
1993
We concider an extened algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotoni...
IJON
2006
14 years 11 months ago
2006
We model the intrinsic dynamic behavior of a neuron using stochastic differential equations and Brownian motion. Basis of our work is the deterministic one-compartmental multi-con...
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
CALCO
2007
Springer
15 years 5 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...