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)