1788 search results - page 11 / 358 » Model Theory for Process Algebra |
ICECCS
2007
IEEE
15 years 4 months ago
2007
IEEE
For many systems, timing aspects are essential. Therefore, when modelling these systems, time should somehow be represented. In the past, many timed process algebras have been dev...
120
click to vote
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
95
Voted
CONCUR
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
82
Voted
ENTCS
2006
15 years 14 days ago
2006
This paper contributes towards establishing the category QCB, of topological quotients of countably based spaces, and its subcategory TP, of topological predomains, as a flexible ...
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...