A Theory of Conjunction and Concurrency

A Theory of Conjunction and Concurrency

Taispeáin leaganacha eile (1)

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Hoare, C
Formáid:	Conference item
Foilsithe / Cruthaithe:	1990

Míreanna comhchosúla

A Theory of Conjunction and Concurrency
de réir: Hoare, C
Foilsithe / Cruthaithe: (1989)

Linking Theories of Concurrency
de réir: He, J, et al.
Foilsithe / Cruthaithe: (2005)

Characteristics of respiratory tuberculosis with concurrent conjunctive tissue dysplasia
de réir: L. A. Sukhanova
Foilsithe / Cruthaithe: (2015-11-01)

Cicatricial Conjunctivitis and Concurrent Clinical Features: A Case Study
de réir: Abdelsattar Farrag, et al.
Foilsithe / Cruthaithe: (2022-05-01)

Fine−grain Concurrency
de réir: Hoare, T
Foilsithe / Cruthaithe: (2007)

Fine−Grain Concurrency
de réir: Hoare, T
Foilsithe / Cruthaithe: (2008)

Fine−grain concurrency
de réir: Hoare, T
Foilsithe / Cruthaithe: (2010)

Algebra of concurrent design
de réir: Hoare, T
Foilsithe / Cruthaithe: (2012)

Unifying Semantics for Concurrent Programming
de réir: Hoare, T
Foilsithe / Cruthaithe: (2013)

Laws of programming with concurrency (Invited Talk)
de réir: Hoare, T
Foilsithe / Cruthaithe: (2013)

Net Models for Concurrent Object Behaviour
de réir: Hoare, T
Foilsithe / Cruthaithe: (2012)

Verification of Fine−grain Concurrent Programs
de réir: Hoare, T
Foilsithe / Cruthaithe: (2008)

Expression levels of pro-inflammatory interleukin-8 and certain antimicrobial peptides in concurrent with bacterial conjunctivitis
de réir: Alaa El-Dien Shawky Hosny, et al.
Foilsithe / Cruthaithe: (2021-05-01)

Concurrent Kleene Algebra
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (2009)

Foundations of Concurrent Kleene Algebra
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (2009)

The Conjunction Functions of the Particle tolko: A Conjunction Particle vs a Conjunction Analogue
de réir: Akopyan K. S.
Foilsithe / Cruthaithe: (2018-03-01)

The term conjunction and conjunctions in uzbek turkic
de réir: GÖKHAN ÜNLÜ, et al.
Foilsithe / Cruthaithe: (2023-12-01)

Ligneous conjunctivitis- Recurrent membranous conjunctivitis
de réir: Sood N
Foilsithe / Cruthaithe: (1968-01-01)

Eosinophilic plasmacytic conjunctivitis concurrent with gingival fistula caused by Schizophyllum commune in a captive cheetah (Acinonyx jubatus)
de réir: Madoka Yoshizawa, et al.
Foilsithe / Cruthaithe: (2017-12-01)

Semantics of Nondeterminism‚ Concurrency and Communication
de réir: Francez, N, et al.
Foilsithe / Cruthaithe: (1979)

Applications of conjunctive complex fuzzy subgroups to Sylow theory
de réir: Aneeza Imtiaz, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Conjunctivitis
de réir: Josephine S. Christy, et al.
Foilsithe / Cruthaithe: (2024-06-01)

Conjunctivitis
de réir: Ali Akal, et al.
Foilsithe / Cruthaithe: (2012-12-01)

Conjunctivitis
de réir: Tissa Senaratne, et al.
Foilsithe / Cruthaithe: (2005-03-01)

The theory and practice of concurrency
de réir: Roscoe, A
Foilsithe / Cruthaithe: (1998)

Imitation as a conjunction
de réir: Heyes, C
Foilsithe / Cruthaithe: (2008)

Concurrent Kleene Algebra and its Foundations
de réir: Hoare, T, et al.
Foilsithe / Cruthaithe: (2011)

Motion coherence and conjunction search: implications for guided search theory.
de réir: Driver, J, et al.
Foilsithe / Cruthaithe: (1992)

Proving correctness of highly−concurrent linearisable objects
de réir: Vafeiadis, V, et al.
Foilsithe / Cruthaithe: (2006)

Viral Conjunctivitis
de réir: Tetsuaya Muto, et al.
Foilsithe / Cruthaithe: (2023-03-01)

The conjunction But and the adversity
de réir: Danivia da Cunha Mattozo Wolff
Foilsithe / Cruthaithe: (2015-07-01)

Acute Conjunctivitis
de réir: Iftikhar Ahmad
Foilsithe / Cruthaithe: (2009-12-01)

Larval conjunctivitis
de réir: Singh Daljit, et al.
Foilsithe / Cruthaithe: (1978-01-01)

Allergic Conjunctivitis
de réir: Muhammed Vally, et al.
Foilsithe / Cruthaithe: (2017-11-01)

The problem of the order of the conjuncts in the coordinating conjunction ‘and’: A logical-syntactic solution
de réir: Miguel López-Astorga
Foilsithe / Cruthaithe: (2018-12-01)

On Locality and the Exchange Law for Concurrent Processes
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (2011)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
de réir: 404540 Keisler, H. Jerome
Foilsithe / Cruthaithe: (1971)

A ‘look’ into conjunctivitis
de réir: F. Kathrada
Foilsithe / Cruthaithe: (2019-09-01)

Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems /
de réir: 180279 Bowman, Howard, et al.
Foilsithe / Cruthaithe: (2006)

An Optimality Theory of Concurrency Control for Databases
de réir: Kung, Hsing-Tsung, et al.
Foilsithe / Cruthaithe: (2023)