( en | de | ru )

 

Disambiguation of "Attie, Paul C."

Author of the publication

copydeleteadd this publication to your clipboard
The Impossibility of Boosting Distributed Service Resilience.

, , , , and . ICDCS, page 39-48. IEEE Computer Society, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Raphael Attie

Paul C Shields

C L Paul Trüb

Guido C C Clinckspoor

Thomas C C Knöbig

 

Other publications of authors with the same name

Efficient formal methods for the synthesis of concurrent programs.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 34 (2000)Turing machines, transition systems, and interaction., , , and . Inf. Comput., 194 (2): 101-128 (2004)Vanna: a visual environment for the design of distributed systems., , , , and . TRI-Ada, page 546-553. ACM, (1989)Beyond AIMD: Explicit Fair-share Calculation., , and . ISCC, page 727-734. IEEE Computer Society, (2003)Convergence of Iteration Systems (Extended Abstract)., , , and . CONCUR, volume 458 of Lecture Notes in Computer Science, page 70-82. Springer, (1990)On Formal Modeling of Agent Computations., , , , , , and . FAABS, volume 1871 of Lecture Notes in Computer Science, page 48-62. Springer, (2000)A Formalism for Architectural Modeling of Distributed Real-Time Systems., , , and . SEKE, page 408-417. Knowledge Systems Institute, (1996)On the Implementation Complexity of Specifications of Concurrent Programs.. DISC, volume 2848 of Lecture Notes in Computer Science, page 151-165. Springer, (2003)Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs., , , and . ICDCS, page 613-619. IEEE Computer Society, (1996)Synthesis of Fault-Tolerant Concurrent Programs., , and . PODC, page 173-182. ACM, (1998)