MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "From linear time to branching time." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • P_M_DERIVE(T_ALG.E_BH):=  
  • by unknown authors
  • … systems (LTS). • Equivalences: from linear time to branching time. Bisimulation as the reference…
  • Add To MetaCart
  • unknown title  
  • by P. Wolper, P. Godefroid, R. Gerth, R. Kuiper, D. Peled, W. Pencz
  • … (1996), 39-64. [20] D. Peled, Partial Order Reduction: Linear and Branching Temporal Logics and Process…
  • Add To MetaCart
  • Extending extended vacuity  
  • by Arie Gurfinkel, Marsha Chechik — 2004 — In 5th FMCAD, LNCS 2212
  • … is not trivial when we move from linear-time to branching-time logic, i.e., from traces to trees. Although…
  • Cited by 13 (3 self) – Add To MetaCart
  • Five Determinisation Algorithms  
  • by Rob Van Glabbeek, Bas Ploeger
  • … the linear time – branching time spectrum. We also remark that our optimisations to subset construction…
  • Add To MetaCart
  • Five Determinisation Algorithms  
  • by unknown authors
  • … here could be equipped with any suitable preorder or partialorder, e.g. from the linear time…
  • Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB