Searching for "Verifying Temporal Properties of Processes." – 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.

Motivation
by Many Interesting Concurrent, Julian Bradfield, Colin Stirling, U. K. Eh Jz
…Verifying Temporal Properties of Processes Julian Bradfield, Colin Stirling Department of Computer…
Add To MetaCart

The King's Buildings
by Julian Bradfield Colin Stirling
…[1] Verifying Temporal Properties of Processes Julian Bradfield, Colin Stirling Department…
Add To MetaCart

Games and Modal Mu-Calculus
by Colin Stirling — 1996 — In Second International Workshop Tools and Algorithms for Construction and Analysis of Systems
… on the use of M for specifying and verifying temporal properties of processes. Here our concern…
Cited by 7 (1 self) – Add To MetaCart

Showing 1 through 3.

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