1209 search results - page 34 / 242 » Universal Algebra and Computer Science |
EUSFLAT
2007
15 years 1 months ago
2007
The paper gives an overview about the activities in research and development at the University of Applied Sciences Zittau/Görlitz and the IPM-Institute in the field of Soft Compu...
FOSSACS
2004
Springer
15 years 5 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
114
click to vote
TCS
2010
14 years 6 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
CSJM
2008
14 years 12 months ago
2008
The notion of real radicals is a fundamental tool in Real Algebraic Geometry. It takes the role of the radical ideal in Complex Algebraic Geometry. In this article I shall describ...
TCS
2010
14 years 10 months ago
2010
We compare how computational effects are modelled in Classical Domain Theory and Topological Domain Theory. Both of these theories provide powerful toolkits for denotational sema...