Paul C Attie

Paul C Attie

Augusta University - Augusta / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 834500
-
person_outline Paul C Attie's MOST POPULAR ARTICLES
1-) Specifying and enforcing intertask dependencies
2-) Turing machines, transition systems, and interaction Information and computation 194 (2), 101-128, 2004
3-) Synthesis of concurrent systems with many similar processes ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (1), 51-115, 1998
4-) Synthesis of fault-tolerant concurrent programs ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (1), 125-185, 2004
5-) Dynamic input/output automata, a formal model for dynamic systems Proceedings of the twentieth annual ACM symposium on Principles of …, 2001