ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Sorting

Electronic Resource

Testing equivalence as a bisimulation equivalence (1993)

Cleaveland, Rance ; Hennessy, Matthew

Springer

Formal aspects of computing 5 (1993), S. 1-20

add to mindlist on the mindlist

Details

ISSN: 1433-299X

Keywords: Process algebras ; Finite-state systems ; Behavioural preorders ; Automated verification

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science

Notes: Abstract In this paper we show how the testing equivalences and preorders on transition systems may be interpreted as instances of generalized bisimulation equivalences and prebisimulation preorders. The characterization relies on defining transformations on the transition systems in such a way that the testing relations on the original systems correspond to (pre)bisimulation relations on the altered systems. On the basis of these results, it is possible to use algorithms for determining the (pre)bisimulation relations in the case of finite-state transition systems to compute the testing relations.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF01211314

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit