Անցեք բովանդակությանը
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
Монгол
Լեզու
Բոլոր դաշտերը
Վերնագիր
Հեղինակ
Խորագիր
Դասիչ
ISBN/ISSN
Ցուցիչ
Գտեք
Ընդլայնված
Partial Correctness of Communi...
Վկայակոչեք սա
Գրեք սա
Էլփոստով ուղարկեք սա
Տպել
Արտահանել գրառումը
Արտահանել դեպի RefWorks
Արտահանել դեպի EndNoteWeb
Արտահանել դեպի EndNote
Մշտական հղում
Partial Correctness of Communicating Sequential Processes
Ցույց տալ այլ տարբերակներ (1)
Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:
Chaochen, Z
,
Hoare, C
Ձևաչափ:
Conference item
Հրապարակվել է:
IEEE
2015
Պահումներ
Նկարագրություն
Այլ տարբերակներ (1)
Նմանատիպ նյութեր
Աշխատակազմի տեսք
Նմանատիպ նյութեր
Partial Correctness of Communicating Processes and Protocols
: Hoare, C, և այլն
Հրապարակվել է: (1981)
Partial Correctness of Communicating Sequential Processes
: Zhou, C, և այլն
Հրապարակվել է: (1981)
The Consistency of the Calculus of Total Correctness for Communicating Processes
: Hoare, C, և այլն
Հրապարակվել է: (1982)
Communicating Sequential Processes
: Hoare, C
Հրապարակվել է: (1976)
Communicating Sequential Processes
: Hoare, C
Հրապարակվել է: (1977)
Communicating Sequential Processes
: Hoare, C
Հրապարակվել է: (1978)
Communicating Sequential Processes
: Hoare, C
Հրապարակվել է: (1985)
Communicating Sequential Processes
: Hoare, C
Հրապարակվել է: (1978)
Notes on Communicating Sequential Processes
: Hoare, C
Հրապարակվել է: (1983)
A Model for Communicating Sequential Processes
: Hoare, C
Հրապարակվել է: (1980)
A Model for Communicating Sequential Processes
: Hoare, C
Հրապարակվել է: (1978)
Communicating sequential processes /
: Hoare, C. A. R. (Charles Antony Richard), 1934-
Հրապարակվել է: (1985)
Towards a Theory of Communicating Sequential Processes
: Hoare, C
Հրապարակվել է: (1979)
A theory of communicating sequential processes
: Roscoe, A, և այլն
Հրապարակվել է: (1981)
A Theory of Communicating Sequential Processes
: Brookes, S, և այլն
Հրապարակվել է: (1984)
A theory of communicating sequential processes
: Roscoe, A, և այլն
Հրապարակվել է: (1984)
Discrete Event Simulation Based on Communicating Sequential Processes
: Kaubisch, W, և այլն
Հրապարակվել է: (2015)
Discrete Event Simulation Based on Communicating Sequential Processes
: Kaubisch, W, և այլն
Հրապարակվել է: (1982)
A Model for Synchronous Switching Circuits and its Theory of Correctness
: Chaochen, Z, և այլն
Հրապարակվել է: (1992)
Model of a Theory of Communicating Sequential Processes for Menu−Dialog Systems
: Enikeev, A, և այլն
Հրապարակվել է: (1987)
A Calculus of Total Correctness for Communicating Processes
: Hoare, C
Հրապարակվել է: (1981)
A Calculus of Total Correctness for Communicating Processes
: Hoare, C
Հրապարակվել է: (1981)
RUSSIAN TITLE: Model of a Theory of Communicating Sequential Processes for Menu−Dialog Systems
: Enikeev, A, և այլն
Հրապարակվել է: (1987)
Review of ‘Communicating sequential processes'
: Boyle, R
Հրապարակվել է: (1985)
Sequential Calculus
: von Karger, B, և այլն
Հրապարակվել է: (1995)
Partial Correctness of C−MOS Switching Circuits: An Exercise in Applied Logic
: Hoare, C, և այլն
Հրապարակվել է: (1988)
A Calculus of Durations
: Chaochen, Z, և այլն
Հրապարակվել է: (1991)
Interaction Categories and Communicating Sequential Processes
: Abramsky, S
Հրապարակվել է: (1994)
A Singleton Failures Semantics for Communicating Sequential Processes
: Bolton, C, և այլն
Հրապարակվել է: (2006)
A timed model for communicating sequential processes
: Roscoe, A, և այլն
Հրապարակվել է: (1988)
A timed model for communicating sequential processes
: Roscoe, A, և այլն
Հրապարակվել է: (1986)
Online sequential Monte Carlo smoother for partially observed diffusion processes
: Pierre Gloaguen, և այլն
Հրապարակվել է: (2018-02-01)
Specification−oriented Semantics for Communicating Processes
: Olderog, E, և այլն
Հրապարակվել է: (1983)
Specification−oriented Semantics for Communicating Processes
: Olderog, E, և այլն
Հրապարակվել է: (1986)
A More Complete Model of Communicating Processes
: Hehner, E, և այլն
Հրապարակվել է: (1983)
Separation Logic Semantics for Communicating Processes
: Hoare, T, և այլն
Հրապարակվել է: (2008)
Sequential decoding for reliable communication
Հրապարակվել է: (2004)
Optimal filtering for partially observed point processes using trans-dimensional sequential Monte Carlo
: Doucet, A, և այլն
Հրապարակվել է: (2006)
Optimal filtering for partially observed point processes using trans-dimensional sequential Monte Carlo
: Doucet, A, և այլն
Հրապարակվել է: (2006)
Optimal filtering for partially observed point processes using trans-dimensional sequential Monte Carlo
: Doucet, A, և այլն
Հրապարակվել է: (2006)
Prev
Հաջորդը
Նմանատիպ նյութեր
Partial Correctness of Communicating Processes and Protocols
: Hoare, C, և այլն
Հրապարակվել է: (1981)
Partial Correctness of Communicating Sequential Processes
: Zhou, C, և այլն
Հրապարակվել է: (1981)
The Consistency of the Calculus of Total Correctness for Communicating Processes
: Hoare, C, և այլն
Հրապարակվել է: (1982)
Communicating Sequential Processes
: Hoare, C
Հրապարակվել է: (1976)
Communicating Sequential Processes
: Hoare, C
Հրապարակվել է: (1977)
