Treffer: Correctness proofs of distributed termination algorithms

Title:

Correctness proofs of distributed termination algorithms

Authors:

Apt, K.R. (Krzysztof)

Source:

logics and models of concurrent systems vol. F3

Publisher Information:

Springer-Verlag 1985-01-01

Document Type:

E-Ressource Electronic Resource

Index Terms:

info:eu-repo/semantics/article

URL:

http://ir.cwi.nl/pub/10371

Availability:

Open access content. Open access content
info:eu-repo/semantics/openAccess

Note:

application/pdf
English

Other Numbers:

NLCWI oai:cwi.nl:10371
1251884056

Contributing Source:

CWI REPOSITORY.
From OAIster®, provided by the OCLC Cooperative.

Accession Number:

edsoai.on1251884056

Database:

OAIster

Links