Seuraa
Paul C Attie
Paul C Attie
Professor of Compuer Science, Augusta University
Vahvistettu sähköpostiosoite verkkotunnuksessa augusta.edu
Nimike
Viittaukset
Viittaukset
Vuosi
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
1222004
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
1202004
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
1202004
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
Scheduling workflows by enforcing intertask dependencies
PC Attie, MP Singh, EA Emerson, A Sheth, M Rusinkiewicz
Distributed Systems Engineering 3 (4), 222, 1996
591996
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
582016
An Event Algebra for Specifying and Scheduling Workflows.
MP Singh, G Meredith, C Tomlinson, PC Attie
DASFAA, 53-60, 1995
501995
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20