ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Electronic Resource

Recognizing safety and liveness (1987)

Alpern, Bowen ; Schneider, Fred B.

Springer

Distributed computing 2 (1987), S. 117-126

add to mindlist on the mindlist

Details

ISSN: 1432-0452

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science

Notes: Abstract A formal characterization for safety properties and liveness properties is given in terms of the structure of the Buchi automaton that specifies the property. The characterizations permit a property to be decomposed into a safety property and a liveness property whose conjunction is the original. The characterizations also give insight into techniques required to prove a large class of safety and liveness properties.

Type of Medium: Electronic Resource

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

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit