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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Ghica, D, Murawski, A, Ong, L
Format:	Journal article
Sprog:	English
Udgivet:	Elsevier 2006
Fag:	Game semantics

Lignende værker

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

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

Functions with local state: regularity and undecidability
af: Murawski, A
Udgivet: (2005)

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

Method of defining syntactic metalanguage
af: 8096 British Standards Institution

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Perspective is syntactic: evidence from anaphora
af: Sandhya Sundaresan
Udgivet: (2018-11-01)

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

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

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

Syntactic strategies of exclamatives
af: Natalia Zevakhina
Udgivet: (2013-05-01)

ON TEMPORARY SYNTACTIC AMBIGUITY
af: ALINA PREDA
Udgivet: (2010-12-01)

The syntactic domain of anaphora
af: Reinhart, Tanya Miriam
Udgivet: (2005)

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

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

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

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

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

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

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

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

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

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

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

Syntactic chains and the definiteness effect
af: Safir, Kenneth
Udgivet: (2006)