Abstract | ||
---|---|---|
We propose a new first-order many-sorted branching-time logical system with equality devoted to support the development of open distributed systems. The inherent characteristics of this family of systems, which ought to be treated in rigorous software development processes, are used throughout the paper to motivate the specific features of our formalism. We present a solution of the drinking philosophers problem as a way of illustrating the application of this new logical system. |
Year | DOI | Venue |
---|---|---|
2002 | 10.1016/S1571-0661(04)80548-6 | Electronic Notes in Theoretical Computer Science |
Keywords | Field | DocType |
temporal logic,specification,verification,distributed systems,software development | Programming language,Computer science,Distributed design patterns,Software system,Theoretical computer science,Software development process,Systems development life cycle,Formalism (philosophy),Temporal logic,Software development,Branching (version control),Distributed computing | Journal |
Volume | ISSN | Citations |
67 | 1571-0661 | 1 |
PageRank | References | Authors |
0.36 | 13 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Carlos H.C. Duarte | 1 | 14 | 3.97 |
Tom Maibaum | 2 | 281 | 31.90 |