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

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Ghica, D, Murawski, A, Ong, L
स्वरूप:	Journal article
भाषा:	English
प्रकाशित:	Elsevier 2006
विषय:	Game semantics

समान संसाधन

Angelic semantics of fine-grained concurrency
द्वारा: Ghica, D, और अन्य
प्रकाशित: (2008)

Games for complexity of second-order call-by-name programs
द्वारा: Murawski, A
प्रकाशित: (2005)

Functions with local state: regularity and undecidability
द्वारा: Murawski, A
प्रकाशित: (2005)

Third-order Idealized Algol with iteration is decidable
द्वारा: Murawski, A, और अन्य
प्रकाशित: (2008)

Method of defining syntactic metalanguage
द्वारा: 8096 British Standards Institution

Basic syntactic structures in standard Malay /
द्वारा: 393669 Payne, E. M. F.
प्रकाशित: (1970)

The grammar of syntactic coreference
द्वारा: Alanović Milivoj B.
प्रकाशित: (2019-01-01)

Digraph measures: Kelly decompositions, games, and orderings
द्वारा: Hunter, P, और अन्य
प्रकाशित: (2008)

On full abstraction for PCF: I, II, and III
द्वारा: Hyland, J, और अन्य
प्रकाशित: (2000)

On-line syntactic and semantic influences in reading revisited
द्वारा: Joel Pynte, और अन्य
प्रकाशित: (2009-08-01)

Semantics of concurrent computation : proceedings /
द्वारा: International Symposium on Semantics of Concurrent Computation, Evian, France July 2-4, 1979, और अन्य
प्रकाशित: (1979)

About the syncretism of syntactic constructions
द्वारा: Melikyan Vadim Yu.
प्रकाशित: (2018-06-01)

Syntactic Semantics in Surah Al-Qasas
द्वारा: ناطق نجم عبد الله
प्रकाशित: (2024-03-01)

Syntactic similarity of definable closures of Jonsson sets
द्वारा: G.A. Urken
प्रकाशित: (2018-06-01)

Semantic and Syntactic Fraction Understanding
द्वारा: Anass Bayaga, और अन्य
प्रकाशित: (2018-12-01)

A notional theory of syntactic categories /
द्वारा: Anderson, John M., (John Mathieson), 1941-
प्रकाशित: (2006)

AN ANALYSIS ON SYNTACTIC AND SEMANTIC FACTORS FOUND IN NEWSPAPER HEADLINES
द्वारा: Nani I. Tiono
प्रकाशित: (2003-01-01)

What is Game Balancing? - An Examination of Concepts
द्वारा: Alexander Becker, और अन्य
प्रकाशित: (2020-04-01)

Syntactics, Cognition and Compositional Semantics
द्वारा: Boris Ju. Norman
प्रकाशित: (2019-12-01)

Semantic Richness Effects in Syntactic Classification: The Role of Feedback
द्वारा: Melvin J Yap, और अन्य
प्रकाशित: (2016-09-01)

A multiple regression analysis of syntactic and semantic influences in reading normal text
द्वारा: Joel Pynte, और अन्य
प्रकाशित: (2008-09-01)

Perspective is syntactic: evidence from anaphora
द्वारा: Sandhya Sundaresan
प्रकाशित: (2018-11-01)

THE RELATIONSHIP BETWEEN SYNTACTIC AND SEMANTIC: A STUDY OF LINGUISTIC TYPOLOGY
द्वारा: Antonio Soares
प्रकाशित: (2019-11-01)

Experimental studies of syntactic and lexical processes in language comprehension.
द्वारा: Chodorow, Martin Sanford
प्रकाशित: (2005)

The Semantic and Syntactic Evolution of Conjunctions in French: The Case of ains
द्वारा: Swietłana Niewzorowa
प्रकाशित: (2021-06-01)

Syntactic strategies of exclamatives
द्वारा: Natalia Zevakhina
प्रकाशित: (2013-05-01)

ON TEMPORARY SYNTACTIC AMBIGUITY
द्वारा: ALINA PREDA
प्रकाशित: (2010-12-01)

The syntactic domain of anaphora
द्वारा: Reinhart, Tanya Miriam
प्रकाशित: (2005)

A Survey on the Semantic Field of ‘Vagabond’
द्वारा: Avishek Ray
प्रकाशित: (2017-10-01)

SEMANTIC CHANGES IN IMPERSONAL VERBS IN THE CASE OF SYNTACTIC PARALLELISM
द्वारा: O A Tagiyeva
प्रकाशित: (2017-12-01)

Game semantics based equivalence checking of higher-order programs
द्वारा: Hopkins, D, और अन्य
प्रकाशित: (2012)

A Semantic and Syntactic Similarity Measure for Political Tweets
द्वारा: Claire Little, और अन्य
प्रकाशित: (2020-01-01)

Games in Learning: Shedding Light on a Problematic Taxonomy
द्वारा: T. Beatman, और अन्य
प्रकाशित: (2019-07-01)

The disjunction introduction rule: Syntactic and semantics considerations
द्वारा: Miguel López Astorga
प्रकाशित: (2015-12-01)

The disjunction introduction rule: Syntactic and semantics considerations
द्वारा: Miguel López Astorga
प्रकाशित: (2015-12-01)

An EEG-MEG dissociation between online syntactic comprehension and posthoc reanalysis.
द्वारा: Jed A Meltzer, और अन्य
प्रकाशित: (2011-02-01)

The Sentence in Its Syntactic and Semantic Aspects in Al-Salimi’s Grammatical Scholarship
द्वारा: Sameer Statiyyeh, और अन्य
प्रकाशित: (2015-01-01)

Neural correlates of semantic-driven syntactic parsing in sentence comprehension
द्वारा: Yun Zhang, और अन्य
प्रकाशित: (2024-04-01)

The Syntactic Distribution of Object Experiencer Psych Verbs in Heritage Spanish
द्वारा: Becky Halloran Gonzalez
प्रकाशित: (2020-11-01)

Syntactic chains and the definiteness effect
द्वारा: Safir, Kenneth
प्रकाशित: (2006)