MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Real Space Process Algebra." – 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

The State Operator in Real Time Process Algebra
by J. C. M. Baeten, J. A. Bergstra
… in several examples. We use concepts from (classical) real space process algebra of [BB91b] in order to deal…
Add To MetaCart

ITU-T Recommendation G.107 : The E-Model, a computational model for use in transmission planning
by J. A. Bergstra, C. A. Middelburg — 2003
… transmitting data via a mobile intermediate station. It is a reformulation of the real space process algebra…
Cited by 1 (1 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
…-passing process algebras. Formal Aspects of Computing, 8(4):379--407, 1996. [181] David Scholefield. Real…
Add To MetaCart

Showing 1 through 3.

ATOM

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