Sven-Olof Nyström  Home/Search
Context
Related
| csd.uu.se/pub/papers/these...0024.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: it.uu.se/research/csd/theses (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Nystrom, S. 1996: Denotational Semantics for Asynchronous Concurrent Languages. Uppsala Theses in Computing Science 24. 182 pp. Uppsala. ISSN 0283-359X, ISBN 91-506-1154-2. (Update)
Similar documents (at the sentence level):
19.4%: Oracles and Confluence - A Fixpoint Semantics for Concurrent.. - Nyström (1995) (Correct)
Active bibliography (related documents): More All
0.5: A Kahn principle for networks of nonmonotonic real-time processes - Yates, Gao (1992) (Correct)
0.5: Specification and Verification of Real-Time Constraints in.. - Henry (1991) (Correct)
0.5: A Fully Abstract Model for Concurrent Constraint Programming - de Boer, Palamdessi (1991) (Correct)
Similar documents based on text: More All
0.2: Observations on the Nyström Method for Gaussian Processes - Williams, Rasmussen.. (2002) (Correct)
0.2: Data-parallel Implementation of Prolog - Bevemyr (1996) (Correct)
0.2: Compilation Techniques for Prolog - Lindgren (1996) (Correct)
BibTeX entry: (Update)
@misc{ nystr-denotational,
author = "Sven-Olof Nyström",
title = "Denotational Semantics for Asynchronous Concurrent Languages",
url = "citeseer.ist.psu.edu/700978.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
2732 Communicating sequential processes (context) - Hoare - 1978
906 A structural approach to operational semantics - Plotkin - 1981
322 volume 92 of Lecture Notes in Computer Science (context) - Milner, of et al. - 1980
302 The semantics of a simple language for parallel programming (context) - Kahn - 1974
247 The family of concurrent logic programming languages (context) - Shapiro - 1989
245 A Compendium of Continuous Lattices (context) - Gierz, Hofmann et al. - 1980
231 A theory of communicating sequential processes (context) - Brookes, Hoare et al. - 1984
218 Process algebra for synchronous communication (context) - Bergstra, Klop - 1984
216 Semantic foundations of concurrent constraint programming - Saraswat, Rinard et al. - 1991
214 Domains for denotational semantics (context) - Scott - 1982
210 Co-operating sequential processes (context) - Dijkstra - 1968
151 Logic semantics for a class of committed-choice programs (context) - Maher - 1987
132 Strand: New Concepts in Parallel Programming (context) - Foster, Taylor - 1989
121 Guarded Horn Clauses - Ueda - 1986
95 A basis for a mathematical theory of computation - McCarthy - 1967
86 A correspondence between ALGOL 60 and Church's lambda notati.. (context) - Landin - 1965
78 Scenarios: a model of nondeterminate computation (context) - Brock, Ackerman - 1981
71 First version of a data flow procedure language (context) - Dennis - 1975
61 Countable nondeterminism and random assignment (context) - Apt, Plotkin - 1986
57 A subset of Concurrent Prolog and its interpreter (context) - Shapiro - 1983
55 Parlog: Parallel programming in logic (context) - Clark, Gregory - 1986
53 Center for the study of language and information (context) - Troelstra, Linear et al. - 1992
49 An improved failures model for communicating processes (context) - Brookes, Roscoe - 1984
48 Concurrent Prolog: A progress report (context) - Shapiro - 1986
47 Fully abstract models of programming languages (context) - Stoughton - 1988
43 A fully abstract model for concurrent constraint programming (context) - de Boer, Palamidessi - 1991
34 Denotational models for parallel programs with indeterminate.. (context) - Keller - 1978
33 Adjointness in foundations (context) - Lawvere - 1969
33 the semantics of fair parallelism (context) - Park - 1979
32 Unbounded non-determinism in CSP (context) - Roscoe - 1993
32 A fully abstract semantics for data flow nets (context) - Kok - 1987
32 Receptive process theory (context) - Josephs - 1992
32 Full abstraction for a shared variable parallel language - Brookes - 1993
25 A relational language for parallel programming (context) - Clark, Gregory - 1981
25 Theoretical Computer Science - Broy, for et al. - 1986
24 Processes: A mathematical model of computing agents (context) - Milner - 1973
22 Semantic foundations of applicative multiprogramming (context) - Abramsky - 1983
21 A model and proof system for asynchronous networks (context) - Jonsson - 1985
20 Foundations of Actor Semantics (context) - Clinger - 1981
18 Full abstraction for nondeterministic dataflow networks (context) - Russell - 1989
17 The expressive power of indeterminate dataflow primitives - Panangaden, Shanbhogue - 1992
11 On oraclizable networks and Kahn's principle (context) - Russell - 1990
11 and Alfred Tarski (context) - Henkin, Monk - 1971
10 infinite computations (context) - Nivat, infinite - 1981
10 SIGPLAN Notices (context) - May - 1983
9 Nondeterminism and infinite computations in constraint progr.. - de Boer, Di Pierro et al. - 1995
8 A simple generalization of Kahn's principle to indeterminate.. - Stark - 1990
8 A Formal Model of Non-determinate Dataflow Computation (context) - Brock - 1983
8 A logical view of concurrent constraint programming - Mendler, Panangaden et al. - 1995
8 Logik und Grundlagen d (context) - Seely, natural et al. - 1983
7 Categories for Fixed-point Semantics (context) - Lehmann - 1976
7 Categories for fixed-point semantics (context) - Lehmann - 1976
7 Denotational semantics of constraint logic programs--- a non.. (context) - Palmgren - 1994
7 fairness' problem and nondeterministic computing networks (context) - Park - 1983
7 To appear in Handbook of Logic in Computer Science (context) - Winskel, Nielsen et al. - 1993
6 A fully abstract trace model for dataflow and asynchronous n.. (context) - Jonsson - 1994
6 Infinite behaviour and fairness in concurrent constraint pro.. - Kwiatkowska - 1992
6 Problems with Concurrent Prolog (context) - Saraswat - 1986
5 Institute for New Generation Computer Technology (context) - Ueda, re-examined - 1985
5 An extensional fixed-point semantics for nondeterministic da.. (context) - Kearney, Staples - 1991
5 context-free languages (context) - Cohen, Gold et al. - 1977
5 Institute for New Generation Computer Technology (context) - Ueda, Clauses - 1985
4 The failure of failures in a paradigm for asynchronous commu.. (context) - de Boer, Kok et al. - 1991
4 A confluent calculus for concurrent constraint programming w.. - Marriott, Odersky - 1995
3 powerdomains and fully abstract models for applicative multi.. (context) - Abramsky - 1983
3 Denotational semantics of determinate and Nondeterminate Dat.. - Kosinski - 1979
2 A straight-forward denotational semantics for nondeterminate.. (context) - Kosinski - 1978
2 A category-theoretic semantics for unbounded nondeterminacy (context) - Panangaden, Russell - 1990
2 atomicity and contractions in the comparative semantics of c.. (context) - de Bakker, Kok - 1988
2 Mechanizable proofs about parallel processes (context) - Cadiou, L'evy - 1973
2 The nucleus of a multiprogrammed system (context) - Hansen - 1970
1 Control structures for Guarded Horn Clauses (context) - Nystrom - 1988
1 The fixed point theory of unbounded non-determinism (context) - Barret - 1991
1 An Approximation Theory for Constraint Logic Programs (context) - Carlson - 1991
1 Context-free languages of infinite words as least fixpoints (context) - Poign'e - 1981
1 Concurent Programming in ERLANG (context) - Armstrong, Virding et al. - 1993
1 A fully abstract semantics for a functional programming lang.. (context) - Jagadeesan, Pingali et al. - 1991
1 Technical Report DOC (context) - Abramsky, Vickers et al. - 1990
1 Strand: A practical programming tool (context) - Foster, Taylor - 1989
1 Inter-program communications (context) - Morenoff, McLean - 1967
1 Lecture delivered at the conference Logics with restricted s.. (context) - Ono, quantales et al. - 1990
Documents on the same site (http://www.it.uu.se/research/csd/theses.html):
On Simultaneous Rigid E-Unification - Veanes (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC