Seguir
Paul C Attie
Paul C Attie
Professor of Compuer Science, Augusta University
Dirección de correo verificada de augusta.edu
Título
Citado por
Citado por
Año
Specifying and enforcing intertask dependencies
P Attie, M Singh, AP Sheth, M Rusinkiewicz
3881993
Turing machines, transition systems, and interaction
DQ Goldin, SA Smolka, PC Attie, EL Sonderegger
Information and computation 194 (2), 101-128, 2004
1232004
Synthesis of fault-tolerant concurrent programs
PC Attie, A Arora, EA Emerson
ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (1), 125-185, 2004
1212004
Synthesis of concurrent systems with many similar processes
PC Attie, EA Emerson
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (1), 51-115, 1998
1071998
Dynamic input/output automata, a formal model for dynamic systems
PC Attie, NA Lynch
Proceedings of the twentieth annual ACM symposium on Principles of …, 2001
862001
Fairness and hyperfairness in multi-party interactions
PC Attie, N Francez, O Grumberg
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
791989
Synthesis of concurrent programs for an atomic read/write model of computation
PC Attie, EA Emerson
ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (2), 187-242, 2001
70*2001
Optimal deadlock detection in distributed systems based on locally constructed wait-for graphs
S Chen, Y Deng, P Attie, W Sun
Proceedings of 16th International Conference on Distributed Computing …, 1996
601996
A general framework for architecture composability
P Attie, E Baranov, S Bliudze, M Jaber, J Sifakis
Formal Aspects of Computing 28 (2), 207-231, 2016
592016
Scheduling workflows by enforcing intertask dependencies
PC Attie, MP Singh, EA Emerson, A Sheth, M Rusinkiewicz
Distributed Systems Engineering 3 (4), 222, 1996
591996
An Event Algebra for Specifying and Scheduling Workflows.
MP Singh, G Meredith, C Tomlinson, PC Attie
DASFAA, 53-60, 1995
511995
Synthesis of large concurrent programs via pairwise composition
PC Attie
International Conference on Concurrency Theory, 130-145, 1999
491999
Dynamic input/output automata: A formal and compositional model for dynamic systems
PC Attie, NA Lynch
Information and Computation 249, 28-75, 2016
362016
Task scheduling using intertask dependencies in Carnot
D Woelk, P Attie, P Cannata, G Meredith, A Sheth, M Singh, C Tomlinson
Proceedings of the 1993 ACM SIGMOD international conference on management of …, 1993
351993
On formal modeling of agent computations
T Araragi, P Attie, I Keidar, K Kogure, V Luchangco, N Lynch, K Mano
Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS …, 2001
342001
Convergence of iteration systems
A Arora, P Attie, M Evangelist, M Gouda
Distributed Computing 7, 43-53, 1993
321993
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs
PC Attie, H Chockler
International Workshop on Verification, Model Checking, and Abstract …, 2005
312005
Workflow support in Carnot
C Tomlinson, PC Attie, P Cannata, G Meredith, AP Sheth, MP Singh, ...
IEEE Data Eng. Bull. 16 (2), 33-36, 1993
301993
Synthesis of concurrent systems with many similar sequential processes
PC Attie, EA Emerson
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
271989
Beyond AIMD: Explicit fair-share calculation
PC Attie, A Lahanas, V Tsaoussidis
Proceedings of the Eighth IEEE Symposium on Computers and Communications …, 2003
232003
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20