MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "An Algebraic Verification of a Mobile Network." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

An Algebraic Verification of a Mobile Network
by Fredrik Orava, Joachim Parrow — 1991 — Formal Aspects of Computing
…@(email omitted); Keywords: Mobile networks; Algebraic verification; Process algebra; Communication protocols Abstract. In a…
Cited by 33 (1 self) – Add To MetaCart

Computing, 1(1):85--114, 1989. [Nip89] Tobias Nipkow. Term rewriting and beyond - theorem proving in Isabelle.
by Formal Aspects Of, Nhwg Morgens Nielsen, Klaus Havelund, Kin Ritter Wagner, Chris George, The Raise, Ps H A Partsch, F A Stomp
… verification of a mobile network. Formal Aspects of Computing, 4(6):497--543, 1992. [Owe92] Olaf Owe. Axiomatic…
Add To MetaCart

Qualitative and Quantitative Analysis of Mobile Systems
by Corrado Priami — 1997
…. An example of an algebraic verification of a mobile network using ��-calculus is in [25], and other examples…
Cited by 1 (0 self) – Add To MetaCart

Formal Aspects of Computing Bibliography
by J. Allison, Mark Harman, Dan Simpson, Carroll Morgan, Annabelle Mciver, Karen Seidel, J C M Baeten, Geoffrey Brown, Wayne Luk, Ping Zhou, Jozef Hooman, Ruurd Kuiper Compositional Verification — 1997
… verification of a mobile network. Formal Aspects of Computing, 4(6):497--543, 1992. 5 [37] J C M Baeten and J…
Add To MetaCart

Showing 1 through 4.

ATOM

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