MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Termination of processes." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1,758 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Termination of processes  
  • by Davide Sangiorgi — 2001 — Math. Struct. Comput. Sci
  • … An introduction to process calculi Davide Sangiorgi INRIA, France Email: davide…
  • Cited by 6 (1 self) – Add To MetaCart
  • Terminating processes in PEPA  
  • by Nigel Thomas, Jeremy Bradley — 2001 — University of Leeds
  • …Terminating processes in PEPA Nigel Thomas and Jeremy Bradley y Research Institute in Software…
  • Cited by 8 (4 self) – Add To MetaCart
  • Non-Terminating Processes in the Situation Calculus  
  • by Giuseppe De Giacomo, Eugenia Ternovskaia, Ray Reiter — 1997 — In Proceedings of the AAAI'97 Workshop on Robots, Softbots, Immobots: Theories of Action, Planning and
  • …Non-Terminating Processes in the Situation Calculus Giuseppe De Giacomo Dipartimento di…
  • Cited by 5 (3 self) – Add To MetaCart
  • Iso/iec Jtc 1/sc 29/wg 11  
  • by Sec Date Iso, Iso/iec Fdis Sec, Secretariat Narumi Hirose — 1997
  • …................................................................................................................................................... 21 5.7 Decoding process…
  • Add To MetaCart
  • unknown title  
  • by Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi
  • … On the complexity of termination inference for processes Romain Demangeon1, Daniel Hirschkoff1…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB