Searching for "Synthesis of Communicating Processes from Temporal Logic Specifications." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

WARREN, D.H.D. 1982b. "Perpetual Processes -- An Unexploited Prolog Technique", Short Communication,
by Logic Programming, Directions Object, Oriented Programming, P. Shriver, P. Wegner (eds
…. "Synthesis of Communicating Processes from Temporal Logic Specifications", TOPLAS, Vol. 6, NO. 1, January, pp…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB