MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Modal and Temporal Logics for Processes." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • Modal and Temporal Logics for Processes  
  • by Colin Stirling Dept, Colin Stirling — 1996
  • …Modal and Temporal Logics for Processes Colin Stirling Dept. of Computer Science University…
  • Add To MetaCart
  • Hardware:  
  • by Cli Has Very
  • …, algorithms for normed processes, modal and temporal logics for processes, and automata-theoretic approach…
  • Add To MetaCart
  • Frame-Based Process Logics  
  • by Jan A. Bergstra, Alban Ponse — 1995 — In
  • … actions a considered. Note: This paper will be published in: Modal Logic and Process algebra, Alban Ponse…
  • Cited by 3 (2 self) – Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB