MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "On the Ill-Timed but Well-Caused." – 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
  • Verifying Performance Equivalence for Timed Basic Parallel Processes  
  • by B. Bérard<!--Berard-->, A. Labroue, Ph. Schnoebelen — 2000 — In Proc. 3rd Int. Conf. Foundations of Software Science and Computation Structures (FOSSACS'2000), LNCS 1784
  • … and executions are asynchronous and ill-timed but well-caused. [AM96] showed the technical advantages…
  • Add To MetaCart
  • Software Verification Research Centre  
  • by Department Of Computer, C. J. Fidge J. J, C. J. Fidge — 1995
  • …, as succinctly stated by Aceto and Murphy [1], such traces are "ill-timed but well-caused". 8 Furthermore, rule…
  • Add To MetaCart
  • A Simple, Expressive Real-Time CCS  
  • by C. Fidge, J. Zic — 1994 — In Proc. 2nd Australasian Conf. on Parallel & Real-Time Systems
  • …, as succinctly stated by Aceto and Murphy [1], such traces are \ill-timed but well-caused". Furthermore, rule Com…
  • Cited by 7 (2 self) – Add To MetaCart
  • Partial Order Models for Quantitative Extensions of LOTOS  
  • by Ed Brinksma, Prof Dr. -ing, U. Herzog, Mathematische Maschinen, Joost-pieter Katoen, Interner Bericht, Rom Langerak, Rom Langerak, Diego Latella, Diego Latella — 1997
  • … succinctly phrased in [1] as "ill-timed but well-caused"). This is due to the absence of any mechanism…
  • Cited by 3 (1 self) – Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB