See this document in CiteSeerX!

Denotational Semantics for Asynchronous Concurrent Languages (1996)  (Make Corrections)  
Sven-Olof Nyström



  Home/Search   Context   Related

 
View or download:
csd.uu.se/pub/papers/these...0024.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  it.uu.se/research/csd/theses (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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