Syntactic control of concurrency

Syntactic control of concurrency

We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown that may-equivalence of second-order open terms is undecidable we set out to find a framework in which decidability can be regained wi...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Ghica, D, Murawski, A, Ong, L
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	Elsevier 2006
Ábhair:	Game semantics

Míreanna comhchosúla

Angelic semantics of fine-grained concurrency
de réir: Ghica, D, et al.
Foilsithe / Cruthaithe: (2008)

Games for complexity of second-order call-by-name programs
de réir: Murawski, A
Foilsithe / Cruthaithe: (2005)

Functions with local state: regularity and undecidability
de réir: Murawski, A
Foilsithe / Cruthaithe: (2005)

Third-order Idealized Algol with iteration is decidable
de réir: Murawski, A, et al.
Foilsithe / Cruthaithe: (2008)

Method of defining syntactic metalanguage
de réir: 8096 British Standards Institution

Basic syntactic structures in standard Malay /
de réir: 393669 Payne, E. M. F.
Foilsithe / Cruthaithe: (1970)

The grammar of syntactic coreference
de réir: Alanović Milivoj B.
Foilsithe / Cruthaithe: (2019-01-01)

Digraph measures: Kelly decompositions, games, and orderings
de réir: Hunter, P, et al.
Foilsithe / Cruthaithe: (2008)

On full abstraction for PCF: I, II, and III
de réir: Hyland, J, et al.
Foilsithe / Cruthaithe: (2000)

On-line syntactic and semantic influences in reading revisited
de réir: Joel Pynte, et al.
Foilsithe / Cruthaithe: (2009-08-01)

Semantics of concurrent computation : proceedings /
de réir: International Symposium on Semantics of Concurrent Computation, Evian, France July 2-4, 1979, et al.
Foilsithe / Cruthaithe: (1979)

About the syncretism of syntactic constructions
de réir: Melikyan Vadim Yu.
Foilsithe / Cruthaithe: (2018-06-01)

Syntactic Semantics in Surah Al-Qasas
de réir: ناطق نجم عبد الله
Foilsithe / Cruthaithe: (2024-03-01)

Syntactic similarity of definable closures of Jonsson sets
de réir: G.A. Urken
Foilsithe / Cruthaithe: (2018-06-01)

Semantic and Syntactic Fraction Understanding
de réir: Anass Bayaga, et al.
Foilsithe / Cruthaithe: (2018-12-01)

A notional theory of syntactic categories /
de réir: Anderson, John M., (John Mathieson), 1941-
Foilsithe / Cruthaithe: (2006)

AN ANALYSIS ON SYNTACTIC AND SEMANTIC FACTORS FOUND IN NEWSPAPER HEADLINES
de réir: Nani I. Tiono
Foilsithe / Cruthaithe: (2003-01-01)

What is Game Balancing? - An Examination of Concepts
de réir: Alexander Becker, et al.
Foilsithe / Cruthaithe: (2020-04-01)

Syntactics, Cognition and Compositional Semantics
de réir: Boris Ju. Norman
Foilsithe / Cruthaithe: (2019-12-01)

Semantic Richness Effects in Syntactic Classification: The Role of Feedback
de réir: Melvin J Yap, et al.
Foilsithe / Cruthaithe: (2016-09-01)

A multiple regression analysis of syntactic and semantic influences in reading normal text
de réir: Joel Pynte, et al.
Foilsithe / Cruthaithe: (2008-09-01)

Perspective is syntactic: evidence from anaphora
de réir: Sandhya Sundaresan
Foilsithe / Cruthaithe: (2018-11-01)

THE RELATIONSHIP BETWEEN SYNTACTIC AND SEMANTIC: A STUDY OF LINGUISTIC TYPOLOGY
de réir: Antonio Soares
Foilsithe / Cruthaithe: (2019-11-01)

Experimental studies of syntactic and lexical processes in language comprehension.
de réir: Chodorow, Martin Sanford
Foilsithe / Cruthaithe: (2005)

The Semantic and Syntactic Evolution of Conjunctions in French: The Case of ains
de réir: Swietłana Niewzorowa
Foilsithe / Cruthaithe: (2021-06-01)

Syntactic strategies of exclamatives
de réir: Natalia Zevakhina
Foilsithe / Cruthaithe: (2013-05-01)

ON TEMPORARY SYNTACTIC AMBIGUITY
de réir: ALINA PREDA
Foilsithe / Cruthaithe: (2010-12-01)

The syntactic domain of anaphora
de réir: Reinhart, Tanya Miriam
Foilsithe / Cruthaithe: (2005)

A Survey on the Semantic Field of ‘Vagabond’
de réir: Avishek Ray
Foilsithe / Cruthaithe: (2017-10-01)

SEMANTIC CHANGES IN IMPERSONAL VERBS IN THE CASE OF SYNTACTIC PARALLELISM
de réir: O A Tagiyeva
Foilsithe / Cruthaithe: (2017-12-01)

Game semantics based equivalence checking of higher-order programs
de réir: Hopkins, D, et al.
Foilsithe / Cruthaithe: (2012)

A Semantic and Syntactic Similarity Measure for Political Tweets
de réir: Claire Little, et al.
Foilsithe / Cruthaithe: (2020-01-01)

Games in Learning: Shedding Light on a Problematic Taxonomy
de réir: T. Beatman, et al.
Foilsithe / Cruthaithe: (2019-07-01)

The disjunction introduction rule: Syntactic and semantics considerations
de réir: Miguel López Astorga
Foilsithe / Cruthaithe: (2015-12-01)

The disjunction introduction rule: Syntactic and semantics considerations
de réir: Miguel López Astorga
Foilsithe / Cruthaithe: (2015-12-01)

An EEG-MEG dissociation between online syntactic comprehension and posthoc reanalysis.
de réir: Jed A Meltzer, et al.
Foilsithe / Cruthaithe: (2011-02-01)

The Sentence in Its Syntactic and Semantic Aspects in Al-Salimi’s Grammatical Scholarship
de réir: Sameer Statiyyeh, et al.
Foilsithe / Cruthaithe: (2015-01-01)

Neural correlates of semantic-driven syntactic parsing in sentence comprehension
de réir: Yun Zhang, et al.
Foilsithe / Cruthaithe: (2024-04-01)

The Syntactic Distribution of Object Experiencer Psych Verbs in Heritage Spanish
de réir: Becky Halloran Gonzalez
Foilsithe / Cruthaithe: (2020-11-01)

Syntactic chains and the definiteness effect
de réir: Safir, Kenneth
Foilsithe / Cruthaithe: (2006)