MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Model Checking Value-Passing Processes." – 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

Model Checking Value-passing Processes
by Huimin Lin — 2001 — In Proc. Of 8th Asia-Pacific Software Engineering Conference
…Model Checking Value-passing Processes Huimin Lin Laboratory for Computer Science Institute…
Cited by 2 (0 self) – Add To MetaCart

Local Model Checking for Value-passing Processes
by Exte Nd Ed, J. Rathke, M. Hennessy — 1997 — In International Symposium on Theoretical Aspects of Computer Software
…Local Model Checking for Value-passing Processes (Extended Abstract) 1 J. Rathke and M. Hennessy…
Add To MetaCart

Local Model Checking for Value-passing Processes (Extended Abstract)
by J. Rathke, M. Hennessy — 1997 — In International Symposium on Theoretical Aspects of Computer Software
…Local Model Checking for Value-passing Processes (Extended Abstract) 1 J. Rathke and M. Hennessy…
Cited by 4 (0 self) – Add To MetaCart

Symbolic Techniques for Value-passing Calculi
by Julian Rathke, Julian Rathke — 1997 — University of Sussex
… for the corresponding weak equivalence. Secondly, the problem of model checking value-passing processes is addressed. We…
Cited by 8 (2 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB