MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Modeling Timed Concurrent Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Modeling Timed Concurrent Systems  
  • by Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee — 2006 — in CONCUR 2006 - Concurrency Theory
  • …Modeling Timed Concurrent Systems Xiaojun Liu 1 , Eleftherios Matsikoudis 2 , and Edward A. Lee 2…
  • Cited by 4 (4 self) – Add To MetaCart
  • Causal Time Calculus  
  • by Franck Pommereau — 2002 — In Proc. FORMATS’03, LNCS
  • ….fr Abstract. We present a process algebra suitable to the modelling of timed concurrent systems…
  • Cited by 1 (0 self) – Add To MetaCart
  • Real Time and Stochastic Time  
  • by unknown authors
  • … and probabilistic-time in a single specification paradigm allows us to model a concurrent system more precisely…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB