MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Process Algebra with Combinators." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 26 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Process Algebra with Combinators  
  • by Jan A. Bergstra, Inge Bethke, Alban Ponse — 1994 — Proceedings CSL'93, Swansea. LNCS 280
  • …Process Algebra with Combinators ? Jan A. Bergstra 1;2 , Inge Bethke 2;3 and Alban Ponse 1 1…
  • Cited by 5 (2 self) – Add To MetaCart
  • Applications of Fair Testing  
  • by E. Brinksma, A. Rensink, W. Vogler — 1996
  • … abstraction from divergences. Moreover, it is a precongruence with respect to all standard process-algebraic…
  • Cited by 5 (0 self) – Add To MetaCart
  • Concurrent Kripke Structures  
  • by Vineet Gupta — 1993 — In Proceedings of the North American Process Algebra Workshop, Cornell CS-TR-93-1369
  • … process algebra of event Kripke structures, showing how to combine them in the usual ways…
  • Cited by 10 (0 self) – Add To MetaCart
  • Integrated Formal Methods  
  • by Andy Galloway, Bill Stoddart, High Intergrity, Systems Engineering — 1997
  • … of this discussion we promote an approach that combines the expressive powers of both process algebras and model…
  • Cited by 3 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB