A Singleton Failures Semantics for Communicating Sequential Processes

A Singleton Failures Semantics for Communicating Sequential Processes

Chi tiết về thư mục
Những tác giả chính:	Bolton, C, Davies, J
Định dạng:	Journal article
Được phát hành:	2006

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

Communicating Sequential Processes
Bằng: Hoare, C
Được phát hành: (1976)

Communicating Sequential Processes
Bằng: Hoare, C
Được phát hành: (1977)

Communicating Sequential Processes
Bằng: Hoare, C
Được phát hành: (1978)

Communicating Sequential Processes
Bằng: Hoare, C
Được phát hành: (1985)

Communicating Sequential Processes
Bằng: Hoare, C
Được phát hành: (1978)

Communicating sequential processes /
Bằng: Hoare, C. A. R. (Charles Antony Richard), 1934-
Được phát hành: (1985)

Notes on Communicating Sequential Processes
Bằng: Hoare, C
Được phát hành: (1983)

A Model for Communicating Sequential Processes
Bằng: Hoare, C
Được phát hành: (1980)

A Model for Communicating Sequential Processes
Bằng: Hoare, C
Được phát hành: (1978)

Mack Hendricks Singleton
Bằng: Lloyd Kasten
Được phát hành: (2021-01-01)

Interview with David Singleton
Bằng: Stela Letica Krevelj, et al.
Được phát hành: (2023-01-01)

A theory of communicating sequential processes
Bằng: Roscoe, A, et al.
Được phát hành: (1981)

A Theory of Communicating Sequential Processes
Bằng: Brookes, S, et al.
Được phát hành: (1984)

A theory of communicating sequential processes
Bằng: Roscoe, A, et al.
Được phát hành: (1984)

Partial Correctness of Communicating Sequential Processes
Bằng: Zhou, C, et al.
Được phát hành: (1981)

Evaluating indirect genetic effects of siblings using singletons.
Bằng: Laurence J Howe, et al.
Được phát hành: (2022-07-01)

Partial Correctness of Communicating Sequential Processes
Bằng: Chaochen, Z, et al.
Được phát hành: (2015)

Early childhood weight trajectory differences in twins, singletons, and gestational-age matched singletons
Bằng: Anna Booman, et al.
Được phát hành: (2025-02-01)

Review of ‘Communicating sequential processes'
Bằng: Boyle, R
Được phát hành: (1985)

Towards a Theory of Communicating Sequential Processes
Bằng: Hoare, C
Được phát hành: (1979)

Visual marking inhibits singleton capture.
Bằng: Olivers, C, et al.
Được phát hành: (2003)

The outcome of singleton breech delivery
Bằng: Yaakob, Che Anuar Che
Được phát hành: (1995)

M. H. Singleton, the Teacher
Bằng: Kathleen Kish
Được phát hành: (2021-01-01)

ℓ - Group on Fuzzy Singletons
Bằng: Dr P. Bharathi
Được phát hành: (2022-07-01)

A Comparative Study on the Control of Quadcopter UAVs by using Singleton and Non-Singleton Fuzzy Logic Controllers
Bằng: Fu, Changhong, et al.
Được phát hành: (2016)

Triplet to Singleton-A Successful Outcome
Bằng: Priya Varshney, et al.
Được phát hành: (2014-07-01)

Using Relational and Behavioural Semantics in the Verification of Object Models
Bằng: Bolton, C, et al.
Được phát hành: (2000)

Interaction Categories and Communicating Sequential Processes
Bằng: Abramsky, S
Được phát hành: (1994)

A timed model for communicating sequential processes
Bằng: Roscoe, A, et al.
Được phát hành: (1988)

A timed model for communicating sequential processes
Bằng: Roscoe, A, et al.
Được phát hành: (1986)

On set systems without singleton intersections
Bằng: Danila Cherkashin
Được phát hành: (2024-12-01)

Set partitions with colored singleton blocks
Bằng: Toufik Mansour, et al.
Được phát hành: (2024-07-01)

Singleton Michael, Histoires d’eau
Bằng: Jean Philippe Cornélis
Được phát hành: (2011-12-01)

Specification−oriented Semantics for Communicating Processes
Bằng: Olderog, E, et al.
Được phát hành: (1983)

Specification−oriented Semantics for Communicating Processes
Bằng: Olderog, E, et al.
Được phát hành: (1986)

Discrete Event Simulation Based on Communicating Sequential Processes
Bằng: Kaubisch, W, et al.
Được phát hành: (1982)

Discrete Event Simulation Based on Communicating Sequential Processes
Bằng: Kaubisch, W, et al.
Được phát hành: (2015)

Semantics of communicating parallel processes.
Bằng: Greif, Irene
Được phát hành: (2010)

Semantic of Communication Parallel Processes
Bằng: Greif, Irene Gloria
Được phát hành: (2023)

Semantic parsing with semi-supervised sequential autoencoders
Bằng: Kočiský, T, et al.
Được phát hành: (2016)