526 search results - page 2 / 106 » Type Abstractions of Name-Passing Processes |
RC
2007
13 years 4 months ago
2007
Abstract. In engineering applications, we need to make decisions under uncertainty. Traditionally, in engineering, statistical methods are used, methods assuming that we know the p...
TGC
2005
Springer
13 years 10 months ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
INFORMATICALT
2010
13 years 3 months ago
2010
Abstract. This study presents developed algorithm for assessment and updating estimates of parameters in the mathematical models of non-stationary processes (for instance, system a...
TLCA
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
ICARIS
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. The paper makes an attempt to introduce a new approach for detection of local singularities in signals, including one-dimensional time series and two-dimensional images. ...