942 search results - page 70 / 189 » Process Algebraic Non-product-forms |
FMCO
2009
Springer
14 years 7 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
110
click to vote
IEEEICCI
2009
IEEE
15 years 4 months ago
2009
IEEE
An interval set is an interval in the power set lattice based on a universal set and is a family of subsets of the universal set. Interval sets and interval-set algebras provide a...
ML
2000
ACM
14 years 9 months ago
2000
ACM
We consider the problem of one-step ahead prediction for time series generated by an underlying stationary stochastic process obeying the condition of absolute regularity, describi...
ACMMPC
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Functional programs are merely equations; they may be manipulated by straightforward equational reasoning. In particular, one can use this style of reasoning to calculate...
FMCO
2005
Springer
15 years 3 months ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...