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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Ghica, D, Murawski, A, Ong, L
Fformat:	Journal article
Iaith:	English
Cyhoeddwyd:	Elsevier 2006
Pynciau:	Game semantics

Eitemau Tebyg

Angelic semantics of fine-grained concurrency
gan: Ghica, D, et al.
Cyhoeddwyd: (2008)

Games for complexity of second-order call-by-name programs
gan: Murawski, A
Cyhoeddwyd: (2005)

Functions with local state: regularity and undecidability
gan: Murawski, A
Cyhoeddwyd: (2005)

Third-order Idealized Algol with iteration is decidable
gan: Murawski, A, et al.
Cyhoeddwyd: (2008)

Method of defining syntactic metalanguage
gan: 8096 British Standards Institution

Basic syntactic structures in standard Malay /
gan: 393669 Payne, E. M. F.
Cyhoeddwyd: (1970)

The grammar of syntactic coreference
gan: Alanović Milivoj B.
Cyhoeddwyd: (2019-01-01)

Digraph measures: Kelly decompositions, games, and orderings
gan: Hunter, P, et al.
Cyhoeddwyd: (2008)

On full abstraction for PCF: I, II, and III
gan: Hyland, J, et al.
Cyhoeddwyd: (2000)

On-line syntactic and semantic influences in reading revisited
gan: Joel Pynte, et al.
Cyhoeddwyd: (2009-08-01)

Semantics of concurrent computation : proceedings /
gan: International Symposium on Semantics of Concurrent Computation, Evian, France July 2-4, 1979, et al.
Cyhoeddwyd: (1979)

About the syncretism of syntactic constructions
gan: Melikyan Vadim Yu.
Cyhoeddwyd: (2018-06-01)

Syntactic Semantics in Surah Al-Qasas
gan: ناطق نجم عبد الله
Cyhoeddwyd: (2024-03-01)

Syntactic similarity of definable closures of Jonsson sets
gan: G.A. Urken
Cyhoeddwyd: (2018-06-01)

Semantic and Syntactic Fraction Understanding
gan: Anass Bayaga, et al.
Cyhoeddwyd: (2018-12-01)

A notional theory of syntactic categories /
gan: Anderson, John M., (John Mathieson), 1941-
Cyhoeddwyd: (2006)

AN ANALYSIS ON SYNTACTIC AND SEMANTIC FACTORS FOUND IN NEWSPAPER HEADLINES
gan: Nani I. Tiono
Cyhoeddwyd: (2003-01-01)

What is Game Balancing? - An Examination of Concepts
gan: Alexander Becker, et al.
Cyhoeddwyd: (2020-04-01)

Syntactics, Cognition and Compositional Semantics
gan: Boris Ju. Norman
Cyhoeddwyd: (2019-12-01)

Semantic Richness Effects in Syntactic Classification: The Role of Feedback
gan: Melvin J Yap, et al.
Cyhoeddwyd: (2016-09-01)

A multiple regression analysis of syntactic and semantic influences in reading normal text
gan: Joel Pynte, et al.
Cyhoeddwyd: (2008-09-01)

Perspective is syntactic: evidence from anaphora
gan: Sandhya Sundaresan
Cyhoeddwyd: (2018-11-01)

THE RELATIONSHIP BETWEEN SYNTACTIC AND SEMANTIC: A STUDY OF LINGUISTIC TYPOLOGY
gan: Antonio Soares
Cyhoeddwyd: (2019-11-01)

Experimental studies of syntactic and lexical processes in language comprehension.
gan: Chodorow, Martin Sanford
Cyhoeddwyd: (2005)

The Semantic and Syntactic Evolution of Conjunctions in French: The Case of ains
gan: Swietłana Niewzorowa
Cyhoeddwyd: (2021-06-01)

Syntactic strategies of exclamatives
gan: Natalia Zevakhina
Cyhoeddwyd: (2013-05-01)

ON TEMPORARY SYNTACTIC AMBIGUITY
gan: ALINA PREDA
Cyhoeddwyd: (2010-12-01)

The syntactic domain of anaphora
gan: Reinhart, Tanya Miriam
Cyhoeddwyd: (2005)

A Survey on the Semantic Field of ‘Vagabond’
gan: Avishek Ray
Cyhoeddwyd: (2017-10-01)

SEMANTIC CHANGES IN IMPERSONAL VERBS IN THE CASE OF SYNTACTIC PARALLELISM
gan: O A Tagiyeva
Cyhoeddwyd: (2017-12-01)

Game semantics based equivalence checking of higher-order programs
gan: Hopkins, D, et al.
Cyhoeddwyd: (2012)

A Semantic and Syntactic Similarity Measure for Political Tweets
gan: Claire Little, et al.
Cyhoeddwyd: (2020-01-01)

Games in Learning: Shedding Light on a Problematic Taxonomy
gan: T. Beatman, et al.
Cyhoeddwyd: (2019-07-01)

The disjunction introduction rule: Syntactic and semantics considerations
gan: Miguel López Astorga
Cyhoeddwyd: (2015-12-01)

The disjunction introduction rule: Syntactic and semantics considerations
gan: Miguel López Astorga
Cyhoeddwyd: (2015-12-01)

An EEG-MEG dissociation between online syntactic comprehension and posthoc reanalysis.
gan: Jed A Meltzer, et al.
Cyhoeddwyd: (2011-02-01)

The Sentence in Its Syntactic and Semantic Aspects in Al-Salimi’s Grammatical Scholarship
gan: Sameer Statiyyeh, et al.
Cyhoeddwyd: (2015-01-01)

Neural correlates of semantic-driven syntactic parsing in sentence comprehension
gan: Yun Zhang, et al.
Cyhoeddwyd: (2024-04-01)

The Syntactic Distribution of Object Experiencer Psych Verbs in Heritage Spanish
gan: Becky Halloran Gonzalez
Cyhoeddwyd: (2020-11-01)

Syntactic chains and the definiteness effect
gan: Safir, Kenneth
Cyhoeddwyd: (2006)