A Theory of Conjunction and Concurrency

A Theory of Conjunction and Concurrency

他のバージョン（1件）を表示する

書誌詳細
第一著者:	Hoare, C
フォーマット:	Conference item
出版事項:	1990

類似資料

A Theory of Conjunction and Concurrency
著者:: Hoare, C
出版事項: (1989)

Linking Theories of Concurrency
著者:: He, J, 等
出版事項: (2005)

Characteristics of respiratory tuberculosis with concurrent conjunctive tissue dysplasia
著者:: L. A. Sukhanova
出版事項: (2015-11-01)

Cicatricial Conjunctivitis and Concurrent Clinical Features: A Case Study
著者:: Abdelsattar Farrag, 等
出版事項: (2022-05-01)

Fine−grain Concurrency
著者:: Hoare, T
出版事項: (2007)

Fine−Grain Concurrency
著者:: Hoare, T
出版事項: (2008)

Fine−grain concurrency
著者:: Hoare, T
出版事項: (2010)

Algebra of concurrent design
著者:: Hoare, T
出版事項: (2012)

Unifying Semantics for Concurrent Programming
著者:: Hoare, T
出版事項: (2013)

Laws of programming with concurrency (Invited Talk)
著者:: Hoare, T
出版事項: (2013)

Net Models for Concurrent Object Behaviour
著者:: Hoare, T
出版事項: (2012)

Verification of Fine−grain Concurrent Programs
著者:: Hoare, T
出版事項: (2008)

Expression levels of pro-inflammatory interleukin-8 and certain antimicrobial peptides in concurrent with bacterial conjunctivitis
著者:: Alaa El-Dien Shawky Hosny, 等
出版事項: (2021-05-01)

Concurrent Kleene Algebra
著者:: Hoare, C, 等
出版事項: (2009)

Foundations of Concurrent Kleene Algebra
著者:: Hoare, C, 等
出版事項: (2009)

The Conjunction Functions of the Particle tolko: A Conjunction Particle vs a Conjunction Analogue
著者:: Akopyan K. S.
出版事項: (2018-03-01)

The term conjunction and conjunctions in uzbek turkic
著者:: GÖKHAN ÜNLÜ, 等
出版事項: (2023-12-01)

Ligneous conjunctivitis- Recurrent membranous conjunctivitis
著者:: Sood N
出版事項: (1968-01-01)

Eosinophilic plasmacytic conjunctivitis concurrent with gingival fistula caused by Schizophyllum commune in a captive cheetah (Acinonyx jubatus)
著者:: Madoka Yoshizawa, 等
出版事項: (2017-12-01)

Semantics of Nondeterminism‚ Concurrency and Communication
著者:: Francez, N, 等
出版事項: (1979)

Applications of conjunctive complex fuzzy subgroups to Sylow theory
著者:: Aneeza Imtiaz, 等
出版事項: (2024-01-01)

Conjunctivitis
著者:: Josephine S. Christy, 等
出版事項: (2024-06-01)

Conjunctivitis
著者:: Ali Akal, 等
出版事項: (2012-12-01)

Conjunctivitis
著者:: Tissa Senaratne, 等
出版事項: (2005-03-01)

The theory and practice of concurrency
著者:: Roscoe, A
出版事項: (1998)

Imitation as a conjunction
著者:: Heyes, C
出版事項: (2008)

Concurrent Kleene Algebra and its Foundations
著者:: Hoare, T, 等
出版事項: (2011)

Motion coherence and conjunction search: implications for guided search theory.
著者:: Driver, J, 等
出版事項: (1992)

Proving correctness of highly−concurrent linearisable objects
著者:: Vafeiadis, V, 等
出版事項: (2006)

Viral Conjunctivitis
著者:: Tetsuaya Muto, 等
出版事項: (2023-03-01)

The conjunction But and the adversity
著者:: Danivia da Cunha Mattozo Wolff
出版事項: (2015-07-01)

Acute Conjunctivitis
著者:: Iftikhar Ahmad
出版事項: (2009-12-01)

Larval conjunctivitis
著者:: Singh Daljit, 等
出版事項: (1978-01-01)

Allergic Conjunctivitis
著者:: Muhammed Vally, 等
出版事項: (2017-11-01)

The problem of the order of the conjuncts in the coordinating conjunction ‘and’: A logical-syntactic solution
著者:: Miguel López-Astorga
出版事項: (2018-12-01)

On Locality and the Exchange Law for Concurrent Processes
著者:: Hoare, C, 等
出版事項: (2011)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
著者:: 404540 Keisler, H. Jerome
出版事項: (1971)

A ‘look’ into conjunctivitis
著者:: F. Kathrada
出版事項: (2019-09-01)

Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems /
著者:: 180279 Bowman, Howard, 等
出版事項: (2006)

An Optimality Theory of Concurrency Control for Databases
著者:: Kung, Hsing-Tsung, 等
出版事項: (2023)