432 search results - page 2 / 87 » Interaction Abstraction for Compositional Finite State Syste... |
FUIN
2007
13 years 7 months ago
2007
Abstract. The hierarchy of arbitrary compositions of two-way nondeterministic finite-state transductions collapses when restricted to finitary transductions, i.e., transductions ...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
CAV
1998
Springer
13 years 11 months ago
1998
Springer
IEEESCC
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...