PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Attie, Paul C."

Author of the publication

copydeleteadd this publication to your clipboard
Workflow Support in Carnot.

, , , , , , and . IEEE Data Eng. Bull., 16 (2): 33-36 (1993)

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.

PD Dr. Simon Paulus University of Stuttgart

Prof. Dr. Paul Keller University of Stuttgart

Paul Betz University of Stuttgart

C. Traut

C. Honold

 

Other publications of authors with the same name

A Formalism for Architectural Modeling of Distributed Real-Time Systems., , , and . SEKE, page 408-417. Knowledge Systems Institute, (1996)Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs., , , and . ICDCS, page 613-619. IEEE Computer Society, (1996)Finite-state concurrent programs can be expressed in pairwise normal form.. Theor. Comput. Sci., (2016)On the Implementation Complexity of Specifications of Concurrent Programs.. DISC, volume 2848 of Lecture Notes in Computer Science, page 151-165. Springer, (2003)Synthesis of concurrent programs for an atomic read/write model of computation., and . ACM Trans. Program. Lang. Syst., 23 (2): 187-242 (2001)Synthesis of Fault-Tolerant Concurrent Programs., , and . PODC, page 173-182. ACM, (1998)On Formal Modeling of Agent Computations., , , , , , and . FAABS, volume 1871 of Lecture Notes in Computer Science, page 48-62. Springer, (2000)Turing machines, transition systems, and interaction., , , and . Inf. Comput., 194 (2): 101-128 (2004)Beyond AIMD: Explicit Fair-share Calculation., , and . ISCC, page 727-734. IEEE Computer Society, (2003)Synthesis of large dynamic concurrent programs from dynamic specifications.. Formal Methods in System Design, 48 (1-2): 94-147 (2016)