Model−checking CSP

Model−checking CSP

Bibliographic Details
Main Author:	A. W. Roscoe
Format:	Book section
Published:	1994

Similar Items

Model checking Timed CSP
by: Armstrong, P, et al.
Published: (2012)

Checking noninterference in Timed CSP
by: Roscoe, A, et al.
Published: (2013)

Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock
by: Roscoe, A, et al.
Published: (1995)

Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock
by: Roscoe, A, et al.
Published: (1995)

A representative function approach to symmetry exploitation for CSP refinement checking
by: Moffat, N, et al.
Published: (2008)

A representative function approach to symmetry exploitation for CSP refinement checking
by: Moffat, N, et al.
Published: (2008)

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
by: Moffat, N, et al.
Published: (2008)

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
by: Moffat, N, et al.
Published: (2008)

Symmetry reduction in CSP model checking
by: Gibson-Robinson, T, et al.
Published: (2019)

Assumption−Commitment Support for CSP Model Checking
by: Moffat, N, et al.
Published: (2008)

Assumption-commitment support for CSP model checking
by: Moffat, N, et al.
Published: (2008)

Assumption−Commitment Support for CSP Model Checking
by: Moffat, N, et al.
Published: (2006)

Assumption–Commitment Support for CSP Model Checking
by: Moffat, N, et al.
Published: (2008)

Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption
by: Roscoe, A, et al.
Published: (2004)

On the expressiveness of CSP
by: Roscoe, A
Published: (2011)

Revivals‚stuckness and the hierarchy of CSP Models
by: Roscoe, A
Published: (2008)

Revivals, stuckness and the hierarchy of CSP models
by: Roscoe, A
Published: (2009)

Specifying problem one using the failures model for CSP and deriving CSP processes which meet this specification
by: Roscoe, A
Published: (1985)

Model Checking Systems with Replicated Components using CSP
by: Mazur, T
Published: (2011)

Unbounded nondeterminism in CSP
by: Roscoe, A
Published: (1988)

The expressiveness of CSP with priority
by: Roscoe, A
Published: (2015)

CSP files
by: Roscoe, T, et al.
Published: (2011)

The three Platonic models of divergence−strict CSP
by: Roscoe, A
Published: (2008)

The three platonic models of divergence-strict CSP
by: Roscoe, A
Published: (2008)

The timed failures - stability model for CSP
by: Reed, G, et al.
Published: (1999)

Internalising Agents in CSP Protocol Models
by: Roscoe, A, et al.
Published: (2002)

Unbounded nondeterminism in CSP
by: Roscoe, A, et al.
Published: (1989)

CSP is expressive enough for pi
by: Roscoe, A
Published: (2010)

Developing and verifying protocols in CSP
by: Roscoe, A
Published: (1993)

On the expressive power of CSP refinement
by: Roscoe, A
Published: (2003)

The timed failures−stability model for Timed CSP
by: Roscoe, A, et al.
Published: (1996)

CSP and timewise refinement
by: Roscoe, A, et al.
Published: (1991)

An Operational Semantics for CSP
by: Roscoe, A, et al.
Published: (1986)

A CSP solution to the trains problem
by: Roscoe, A
Published: (1985)

On the expressive power of CSP extended by priority
by: Roscoe, A
Published: (2014)

Compiling Shared Variable Programs into CSP
by: Roscoe, A
Published: (2001)

Reflections on the need to de−skill CSP
by: Roscoe, A
Published: (2014)

Modelling and verifying key−exchange protocols using CSP and FDR
by: Roscoe, A
Published: (1995)

Modelling unbounded parallel sessions of security protocols in CSP
by: Roscoe, A, et al.
Published: (2006)

Reducing complex CSP models to traces via priority
by: Mestel, D, et al.
Published: (2016)