A Principle for Sequential Reasoning about Distributed Algorithms
Work
Year: 1994
Type: article
Source: Formal Aspects of Computing
Authors Frank Stomp, W.-R de Roever
Institutions Kiel University, AT&T (United States)
Cites: 33
Cited by: 28
Related to: 10
FWCI: 3.307
Citation percentile (by year/subfield): 88.91
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed