#### Filter Results:

- Full text PDF available (3)

#### Publication Year

1982

2001

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda
- Distributed Computing
- 1993

An iteration system is a set of assignment statements whose computation proceeds in steps: at each step, an arbitrary subset of the statements is executed in parallel. The set of statements thusâ€¦ (More)

- Michael Evangelist
- 1984 IEEE First International Conference on Dataâ€¦
- 1984

In a recent paper(1) the author has presented evidence that, contrary to several studies in the literature, certain software complexity metrics are not consistently sensitive to the application ofâ€¦ (More)

- Mohamed G. Gouda, Michael Evangelist
- SPDP
- 1990

A self-stabilizing system is one which if started at any unsafe state, is guaranteed to converge to a safe state within a finite number of state transitions. The convergence span of such a system isâ€¦ (More)

- Michael Evangelist, V. Y. Shen, Ira R. Forman, M. Graf
- ICSE
- 1988

We describe our linguistic tool, Raddle, and its use in designing distributed systems. Raddle coordinates concurrent processes with the n-party interaction, a new high-level communication primitive.â€¦ (More)

- Yi Deng, Shengkai Lu, Michael Evangelist
- HICSS
- 1997

For complex software systems a centr al design con cern is system archite cture The systematic treatment of ar chite ctur al speci cation and re nement is a prop er basis for an engineering approachâ€¦ (More)

- Michael Evangelist, Nissim Francez, Shmuel Katz
- IEEE Trans. Software Eng.
- 1989

The essential properties are considered of a multiparty interaction construct which serves as a primitive for interprocess communication and synchronization in distributed programs. It is claimedâ€¦ (More)

- E. Allen Emerson, Michael Evangelist, Jai Srinivasan
- LICS
- 1990

The satisfiability problem for temporal logics has been researched intensively over the last decade, motivated by its applications to automating reasoning of concurrent programs. However, allâ€¦ (More)

- Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf
- SIGSOFT FSE
- 2000

- Moon-Jung Chung, Michael Evangelist, Ivan Hal Sudborough
- Acta Informatica
- 1985

Several problems are shown to be log space complete, when restricted to bandwidth f(n), for the subclass of NP defined by nondeterministic polynomial time bounded Turing machines with a simultaneousâ€¦ (More)

- Michael Evangelist
- ACM SIGSOFT Software Engineering Notes
- 2000

By the time you read this notice, the $90 million Information Technology Research (ITR) program at the National Science Foundation will be well underway. In mid-November, the NSF received nearlyâ€¦ (More)