MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

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

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Process Algebra with Backtracking
by J.A. Bergstra, A. Ponse, J. J. Van Wamel — 1994
…Process Algebra with Backtracking J.A. Bergstra 1;2 A. Ponse 2 J.J. van Wamel 2 ? 1 Utrecht…
Cited by 12 (5 self) – Add To MetaCart

A Semantic Approach to Protocold using Process Algebra
by Bas van Vlijmen, Jos van Wamel — 1993
…. We examine whether BPA(+) (Basic Process Algebra with backtracking) forms a useful basis for a clear…
Cited by 1 (1 self) – Add To MetaCart

Reversible communicating systems
by Vincent Danos, Jean Krivine, Université Paris, Inria Rocquencourt — 2004 — in: CONCUR’04, LNCS 3170 (2004
…. 1.1 Related Work Process algebras with backtracking were seen early to be valuable computational…
Cited by 15 (3 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB