MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Constructor-based observational logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Externalized and internalized notions of behavioral refinement  
  • by Michel Bidoit, Rolf Hennicker — 2005 — Proceedings of the 2nd International Colloquium on Theoretical Aspects of Computing (ICTAC’05), volume 3722 of Lecture Notes in Computer Science
  • … (constructor-based observational logic). Hence, as a side-effect of our study on internalized behavioral…
  • Cited by 1 (1 self) – Add To MetaCart
  • http://www.lsv.ens-cachan.fr/Publis/  
  • by To Appear In, Michel Bidoit, Rolf Hennicker — 2002 — Foundations of Software Science and Computation Structures, LNCS
  • … that by dualization of observational logic one obtains a novel treatment of reachability, called the constructor-based…
  • Add To MetaCart
  • On the Integration of Observability and . . .  
  • by Michel Bidoit, Rolf Hennicker — 2002 — FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, LNCS
  • … that by dualization of observational logic one obtains a novel treatment of reachability, called the constructor-based…
  • Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB