4485 search results - page 10 / 897 » Equivalences on Observable Processes |
EWSPT
1998
Springer
14 years 24 days ago
1998
Springer
We report on a study of procurement processesin a large organization. The purpose of the study was to identify problems in the organization's procurementprocessesand to sugges...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper relates 5 observability indexes for robot calibration to the “alphabet optimalities” from the experimental design literature. These 5 observability indexes are s...
TCS
1998
13 years 8 months ago
1998
We prove that bisimulation equivalence is decidable for normed pushdown processes.
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We prove that observational equivalence of IA3 + Y0 (3rdorder Idealized Algol with 0th-order recursion) is equivalent to the DPDA Equivalence Problem, and hence decidable...
ICALP
2004
Springer
14 years 2 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...