ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Electronic Resource

A proof system for distributed processes (1988)

Sobel, A. E. K. ; Soundararajan, N.

Springer

Acta informatica 25 (1988), S. 305-332

add to mindlist on the mindlist

Details

ISSN: 1432-0525

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science

Notes: Summary A partial correctness proof system for Brinch Hansen's Distributed Processes (DP) is presented. Two important aspects of the system are: Proofs of individual processes of a DP program are completely isolated from each other; in particular, no assumptions are allowed in the proof of one process about the behavior of the other processes. Secondly a process is characterized by its externally visible behavior, i.e. the sequence of interactions between this process and the other processes of the program. An example demonstrates the use of the system.

Type of Medium: Electronic Resource

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

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit