Saltar ao contenido
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Idioma
Todos os campos
Title
Autor
Subject
Número de Clasificación
ISBN/ISSN
Tag
Buscar
Avanzado
Partial Correctness of Communi...
Citar
Text this
Enviar este rexistro por email
Imprimir
Exportar rexistro
Exportar a RefWorks
Exportar a EndNoteWeb
Exportar a EndNote
Permanent link
Partial Correctness of Communicating Sequential Processes
Show other versions (1)
Detalles Bibliográficos
Main Authors:
Chaochen, Z
,
Hoare, C
Formato:
Conference item
Publicado:
IEEE
2015
Existencias
Descripción
Other Versions (1)
Títulos similares
Staff View
Títulos similares
Partial Correctness of Communicating Processes and Protocols
por: Hoare, C, et al.
Publicado: (1981)
Partial Correctness of Communicating Sequential Processes
por: Zhou, C, et al.
Publicado: (1981)
The Consistency of the Calculus of Total Correctness for Communicating Processes
por: Hoare, C, et al.
Publicado: (1982)
Communicating Sequential Processes
por: Hoare, C
Publicado: (1976)
Communicating Sequential Processes
por: Hoare, C
Publicado: (1977)
Communicating Sequential Processes
por: Hoare, C
Publicado: (1978)
Communicating Sequential Processes
por: Hoare, C
Publicado: (1985)
Communicating Sequential Processes
por: Hoare, C
Publicado: (1978)
Notes on Communicating Sequential Processes
por: Hoare, C
Publicado: (1983)
A Model for Communicating Sequential Processes
por: Hoare, C
Publicado: (1980)
A Model for Communicating Sequential Processes
por: Hoare, C
Publicado: (1978)
Communicating sequential processes /
por: Hoare, C. A. R. (Charles Antony Richard), 1934-
Publicado: (1985)
Towards a Theory of Communicating Sequential Processes
por: Hoare, C
Publicado: (1979)
A theory of communicating sequential processes
por: Roscoe, A, et al.
Publicado: (1981)
A Theory of Communicating Sequential Processes
por: Brookes, S, et al.
Publicado: (1984)
A theory of communicating sequential processes
por: Roscoe, A, et al.
Publicado: (1984)
Discrete Event Simulation Based on Communicating Sequential Processes
por: Kaubisch, W, et al.
Publicado: (2015)
Discrete Event Simulation Based on Communicating Sequential Processes
por: Kaubisch, W, et al.
Publicado: (1982)
A Model for Synchronous Switching Circuits and its Theory of Correctness
por: Chaochen, Z, et al.
Publicado: (1992)
Model of a Theory of Communicating Sequential Processes for Menu−Dialog Systems
por: Enikeev, A, et al.
Publicado: (1987)
A Calculus of Total Correctness for Communicating Processes
por: Hoare, C
Publicado: (1981)
A Calculus of Total Correctness for Communicating Processes
por: Hoare, C
Publicado: (1981)
RUSSIAN TITLE: Model of a Theory of Communicating Sequential Processes for Menu−Dialog Systems
por: Enikeev, A, et al.
Publicado: (1987)
Review of ‘Communicating sequential processes'
por: Boyle, R
Publicado: (1985)
Sequential Calculus
por: von Karger, B, et al.
Publicado: (1995)
Partial Correctness of C−MOS Switching Circuits: An Exercise in Applied Logic
por: Hoare, C, et al.
Publicado: (1988)
A Calculus of Durations
por: Chaochen, Z, et al.
Publicado: (1991)
Interaction Categories and Communicating Sequential Processes
por: Abramsky, S
Publicado: (1994)
A Singleton Failures Semantics for Communicating Sequential Processes
por: Bolton, C, et al.
Publicado: (2006)
A timed model for communicating sequential processes
por: Roscoe, A, et al.
Publicado: (1988)
A timed model for communicating sequential processes
por: Roscoe, A, et al.
Publicado: (1986)
Online sequential Monte Carlo smoother for partially observed diffusion processes
por: Pierre Gloaguen, et al.
Publicado: (2018-02-01)
Specification−oriented Semantics for Communicating Processes
por: Olderog, E, et al.
Publicado: (1983)
Specification−oriented Semantics for Communicating Processes
por: Olderog, E, et al.
Publicado: (1986)
A More Complete Model of Communicating Processes
por: Hehner, E, et al.
Publicado: (1983)
Separation Logic Semantics for Communicating Processes
por: Hoare, T, et al.
Publicado: (2008)
Sequential decoding for reliable communication
Publicado: (2004)
Optimal filtering for partially observed point processes using trans-dimensional sequential Monte Carlo
por: Doucet, A, et al.
Publicado: (2006)
Optimal filtering for partially observed point processes using trans-dimensional sequential Monte Carlo
por: Doucet, A, et al.
Publicado: (2006)
Optimal filtering for partially observed point processes using trans-dimensional sequential Monte Carlo
por: Doucet, A, et al.
Publicado: (2006)
Anterior
Seguinte
Títulos similares
Partial Correctness of Communicating Processes and Protocols
por: Hoare, C, et al.
Publicado: (1981)
Partial Correctness of Communicating Sequential Processes
por: Zhou, C, et al.
Publicado: (1981)
The Consistency of the Calculus of Total Correctness for Communicating Processes
por: Hoare, C, et al.
Publicado: (1982)
Communicating Sequential Processes
por: Hoare, C
Publicado: (1976)
Communicating Sequential Processes
por: Hoare, C
Publicado: (1977)