1209 search results - page 34 / 242 » Universal Algebra and Computer Science |
EUSFLAT
2007
13 years 10 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
14 years 2 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...
TCS
2010
13 years 3 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
13 years 8 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
13 years 7 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...