Implementing generalised alt - A case study in validated design using CSP

Implementing generalised alt - A case study in validated design using CSP

In this paper we describe the design and implementation of a generalised alt operator for the Communicating Scala Objects library. The alt operator provides a choice between communications on different channels. Our generalisation removes previous restrictions on the use of alts that prevented both...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Lowe, G
Định dạng:	Journal article
Ngôn ngữ:	English
Được phát hành:	2011

Những quyển sách tương tự

Implementing Generalised Alt
Bằng: Lowe, G
Được phát hành: (2011)

Analysing Security Protocols using CSP
Bằng: Lowe, G
Được phát hành: (2011)

Using CSP to Verify Sequential Consistency
Bằng: Lowe, G, et al.
Được phát hành: (1999)

Using CSP to Verify Sequential Consistency
Bằng: Lowe, G, et al.
Được phát hành: (1999)

Extending CSP with tests for availability
Bằng: Lowe, G
Được phát hành: (2009)

Extending CSP with tests for availability
Bằng: Lowe, G
Được phát hành: (2009)

Models for CSP with availability information
Bằng: Lowe, G
Được phát hành: (2010)

Probabilities and Priorities in Timed CSP
Bằng: Lowe, G
Được phát hành: (1993)

Using CSP to detect errors in the TMN protocol
Bằng: Roscoe, A, et al.
Được phát hành: (1996)

Using CSP to Detect Errors in the TMN Protocol
Bằng: Lowe, G, et al.
Được phát hành: (1997)

Probabilistic and Prioritized Models of Timed CSP
Bằng: Lowe, G
Được phát hành: (1995)

Models for CSP with availability information
Bằng: Gavin Lowe
Được phát hành: (2010-11-01)

Counter abstraction in the CSP/FDR setting
Bằng: Mazur, T, et al.
Được phát hành: (2009)

Counter Abstraction in the CSP/FDR setting
Bằng: Mazur, T, et al.
Được phát hành: (2007)

Symmetry reduction in CSP model checking
Bằng: Gibson-Robinson, T, et al.
Được phát hành: (2019)

The Meaning and Implementation of SKIP in CSP
Bằng: Gibson−Robinson, T, et al.
Được phát hành: (2013)

Model checking Timed CSP
Bằng: Armstrong, P, et al.
Được phát hành: (2012)

On CSP refinement tests that run multiple copies of a process
Bằng: Lowe, G
Được phát hành: (2007)

CSP-based counter abstraction for systems with node identifiers
Bằng: Mazur, T, et al.
Được phát hành: (2014)

CSP−based counter abstraction for systems with node identifiers
Bằng: Mazur, T, et al.
Được phát hành: (2013)

The meaning and implementation of PRI ALT in occam
Bằng: Barrett, G, et al.
Được phát hành: (1988)

Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area
Bằng: Rohrmair, G, et al.
Được phát hành: (2002)

Researching distance learning using a qualitative case study approach: Tackling the issue of generalisation - to generalise or not generalise...
Bằng: Dzakiria, Hisham
Được phát hành: (2006)

Critical systems validation and verification with CSP and FDR
Bằng: Goldsmith, M, et al.
Được phát hành: (1999)

Atmospheric Transmittance Model Validation for CSP Tower Plants
Bằng: Natalie Hanrieder, et al.
Được phát hành: (2019-05-01)

Alte Herren/Alte Meister
Bằng: Albert Müller
Được phát hành: (1993-01-01)

CSP files
Bằng: Roscoe, T, et al.
Được phát hành: (2011)

On the expressiveness of CSP
Bằng: Roscoe, A
Được phát hành: (2011)

Unbounded nondeterminism in CSP
Bằng: Roscoe, A, et al.
Được phát hành: (1989)

CSP and timewise refinement
Bằng: Roscoe, A, et al.
Được phát hành: (1991)

CSP202-CSP204 - PENGKOMPUTERAN SAINTIFIK - APRIL 1987.
Bằng: PPSKOM, Pusat Pengajian Sains Komputer
Được phát hành: (1987)

Tyger: A Tool for Automatically Simulating CSP−Like Languages in CSP
Bằng: Gibson−Robinson, T
Được phát hành: (2010)

Implementing Data−Independence: Symbolic Operational Semantics for CSP_M
Bằng: Goldsmith, M, et al.
Được phát hành: (2002)

A Case Study of the Formal Specification of a Parallel System using CSP
Bằng: Roscoe, A, et al.
Được phát hành: (1997)

A CASE STUDY VALIDATION OF THE APPLICATION OF A GENERALISED EQUATION OF INNOVATION IN COMPLEX ADAPTIVE SYSTEMS
Bằng: Pravir Malik, et al.
Được phát hành: (2018-05-01)

CSP Data: A Data Discovery Web Application of Commercial CSP Plants
Bằng: Javier Bonilla, et al.
Được phát hành: (2024-07-01)

Microscope-AOtools: A generalised adaptive optics implementation
Bằng: Hall, N, et al.
Được phát hành: (2020)

Concentrating Solar Power (CSP) Plant Optimization Study for the California Power Market (CalCSP)
Bằng: Hank Price, et al.
Được phát hành: (2024-03-01)

Specifying voting protocol using CSP
Bằng: Ban, Ainita, et al.
Được phát hành: (2012)

Classifying unbounded nondeterminism in CSP
Bằng: Barrett, G, et al.
Được phát hành: (1991)