MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Synchronization Languages." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 844 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Generalized Synchronization Languages and Commutations  
  • by Isabelle Ryl, Yves Roos, Mireille Clerbout — 1999 — Proc. of 12th International Symposium on Fundamentals of Computation Theory (FCT'99), Lect. Notes Comput. Sci. 1684
  • …Generalized Synchronization Languages and Commutations Isabelle Ryl, Yves Roos, and Mireille…
  • Add To MetaCart
  • Polyhedral Analysis for Synchronous Languages  
  • by Frédéric Besson, Thomas Jensen, Jean-Pierre Talpin — 1999 — Static Analysis: Proceedings of the 6th International Symposium, volume 1694 of Lecture Notes in Computer Science
  • …Polyhedral Analysis for Synchronous Languages Fr'ed'eric Besson, Thomas Jensen, and Jean…
  • Cited by 17 (2 self) – Add To MetaCart
  • The SL Synchronous Language  
  • by Frederic Boussinot, Calcul Symbolique, Robert de Simone, Robert De Simone — 1996 — IEEE Trans. on Software Engineering
  • … AUTOMATIQUE The SL Synchronous Language Frederic Boussinot , Robert de Simone N 2510 Mars 1995 PROGRAMME 2…
  • Cited by 19 (6 self) – Add To MetaCart
  • On the Combination of Synchronous Languages  
  • by Axel Poigne, Leszek Holenderski — 1997 — Workshop on Compositionality: The Significant Difference, volume 1536 of LNCS
  • …On the Combination of Synchronous Languages # Axel Poigne, Leszek Holenderski GMD-SET, Schloss…
  • Cited by 7 (1 self) – Add To MetaCart
  • On the Combination of Synchronous Languages  
  • by Axel Poign'e Leszek, Leszek Holenderski — 1997 — Workshop on Compositionality: The Significant Difference, volume 1536 of LNCS
  • …On the Combination of Synchronous Languages ? Axel Poign'e, Leszek Holenderski GMD-SET, Schloss…
  • Add To MetaCart
  • The synchronous languages 12 years later  
  • by Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert, De Simone — 2003 — Proceedings of The IEEE
  • …The Synchronous Languages 12 Years Later ALBERT BENVENISTE, FELLOW, IEEE, PAUL CASPI, STEPHEN A…
  • Cited by 43 (5 self) – Add To MetaCart
  • The synchronous languages twelve years later  
  • by Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert De Simone — 2003 — Proceedings of the IEEE
  • …The Synchronous Languages Twelve Years Later Albert Benveniste, Fellow, IEEE, Paul Caspi, Stephen…
  • Cited by 40 (4 self) – Add To MetaCart
  • Co-inductive Axiomatization of a Synchronous Language  
  • by David Nowak, Jean-René Beauvais, Jean-Pierre Talpin — 1998 — In Proceedings of Theorem Proving in Higher Order Logics (TPHOLs'98), number 1479 in LNCS
  • …Co-inductive Axiomatization of a Synchronous Language David Nowak, Jean-Ren'e Beauvais, and Jean…
  • Cited by 6 (3 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB