1788 search results - page 40 / 358 » Model Theory for Process Algebra |
127
Voted
JMLR
2008
15 years 15 days ago
2008
When monitoring spatial phenomena, which can often be modeled as Gaussian processes (GPs), choosing sensor locations is a fundamental task. There are several common strategies to ...
95
Voted
BPSC
2009
15 years 1 months ago
2009
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
196
Voted
ENTCS
2006
15 years 16 days ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
99
Voted
CONCUR
2000
Springer
15 years 4 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
ENTCS
2007
15 years 15 days ago
2007
We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a si...