1012 search results - page 157 / 203 » Process Algebra with Backtracking |
DEBU
2002
13 years 9 months ago
2002
An increasing number of business users and software applications need to process information that is accessible via multiple diverse information systems, such as database systems,...
PE
2000
Springer
13 years 9 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
SIAMCO
2000
13 years 9 months ago
2000
The aim of this paper is to present a new approach to the filtering problem for the class of bilinear stochastic multivariable systems, consisting in searching for suboptimal state...
LISP
2002
13 years 9 months ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
MSCS
1998
13 years 9 months ago
1998
The context of this article is the program to develop monoidal bicategories with a feedback operation as an algebra of processes, with applications to concurrency theory. The obje...