Searching for "Using CSP." – sorted by Relevance.
644 documents found, showing 1 through 10.
Next 10 →
-
Using CSP to Specify Interaction in
- …Using CSP to Specify Interaction in Virtual Environments Shamus Smith and David Duke Department…
- Add To MetaCart
-
Using CSP to verify sequential consistency
- …Distrib. Comput. (1999) 12: 91–103 Using CSP to verify sequential consistency Gavin Lowe 1 , Jim…
- Cited by 5 (0 self) – Add To MetaCart
-
Specifying and Checking Java using CSP
- …Specifying and Checking Java using CSP ⋆ Michael Möller Universität Oldenburg, Fachbereich…
- Cited by 2 (1 self) – Add To MetaCart
-
Using CSP to detect errors in the TMN protocol
- …Using CSP to detect errors in the TMN protocol Gavin Lowe Bill Roscoe y August 6, 1997…
- Cited by 53 (5 self) – Add To MetaCart
-
Using CSP to Understand Complex Chemical Kinetics
- …Using CSP to Understand Complex Chemical Kinetics ∗ S. H. Lam Department of Mechanical…
- Cited by 10 (3 self) – Add To MetaCart
-
Reasoning about XACML policies using CSP
- … using CSP Jeremy Bryans Technical Report Series CS-TR-924 July 2005 Copyright c○2005 University…
- Cited by 5 (0 self) – Add To MetaCart
-
Using CSP to Specify Interaction in Virtual Environments
- …1 Using CSP to Specify Interaction in Virtual Environments Shamus Smith and David Duke Department…
- Cited by 5 (0 self) – Add To MetaCart
-
Specifying Features in Requirements Using CSP-OZ
- …Specifying Features in Requirements Using CSP-OZ Jan Bredereke Universitat Bremen, FB 3 P.O. box…
- Cited by 1 (0 self) – Add To MetaCart
-
Using CSP to Specify Interaction in Virtual Environments
- …Using CSP to Specify Interaction in Virtual Environments Shamus Smith and David Duke Department…
- Add To MetaCart
-
The Specification and Verified Decomposition of System Requirements Using CSP
- …The Specification and Verified Decomposition of System Requirements Using CSP Andrew P. Moore Code…
- Cited by 11 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
