MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Reasoning about Concurrent Objects." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 18 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Reasoning About Concurrent Objects  
  • by Heinz W. Schmidt, Jian Chen — 1995 — In: Proc. Asia-Pacific Software Engineering Conf. (APSEC '95), IEEE, Los Alamitos, Cal
  • …Reasoning About Concurrent Objects Heinz W. Schmidt and Jian Chen Department of Software…
  • Cited by 13 (7 self) – Add To MetaCart
  • General Terms: Theory,  
  • by Maurice P. Herlihy, Jeannette M. Wing
  • … to reason about concurrent objects, given they are linearizable. Categories and Subject Descriptors: D.1…
  • Add To MetaCart
  • Real-time Action Logic and Applications  
  • by K. Lano, S. Goldsack, J. Bicarregui, S. Kent
  • … action logic (MAL) and real-time logic (RTL) for reasoning about concurrent object-oriented programs…
  • Add To MetaCart
  • Typing Confluence  
  • by Uwe Nestmann , Martin Steffen — 1997
  • …, ranging from reasoning about concurrent objects to mobile and high-speed telecommunication protocols…
  • Cited by 8 (0 self) – Add To MetaCart
  • Reasoning Techniques in VDM++  
  • by K. Lano, Distribution Afrodite Teams — 1994
  • … Domain 5 4 Reasoning about Concurrent Object Execution 7 5 Dynamic Reconfiguration of Object Networks 8 6…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB