Frank S. de Boer, Catuscia Palamidessi  Home/Search
Context Related
| disi.unige.it/person/P...infocomp.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: disi.unige.it/pers...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper addresses the problem of defining a formal tool to compare the expressive power of different concurrent constraint languages. We refine the notion of embedding by adding some "reasonable" conditions, suitable for concurrent frameworks. The new notion, called modular embedding, is used to define a preorder among these languages, representing different degrees of expressiveness. We show that this preorder is not trivial (i.e. it does not collapse into one equivalence class) by proving... (Update)
Context of citations to this paper: More
...a language. The question of formally comparing the expressiveness of languages has been the object of a quite large body of research (see [2] for an introduction) A natural way to compare the expressive power of two languages is to verify c 2002 Published by Elsevier Science...
Cited by: More
Ordered SOS Process Languages for Branching and Eager.. - Ulidowski, Phillips (2002) (Correct)
Research Overview and Plans - Catuscia Palamidessi March (Correct)
From Concurrent Logic Programming to Concurrent Constraint .. - de Boer, Palamidessi (1993) (Correct)
Active bibliography (related documents): More All
1.8: Embedding as a tool for Language Comparison: On the CSP hierarchy - de Boer, al. (1991) (Correct)
0.4: On the Expressive Power of Programming Languages - Felleisen (1990) (Correct)
0.3: A Fully Abstract Model for Concurrent Constraint Programming - de Boer, Palamdessi (1991) (Correct)
Similar documents based on text: More All
0.7: Embedding as a tool for Language Comparison - Frank De Boer (1994) (Correct)
0.6: Confluence in Concurrent Constraint Programming - Falaschi, Gabbrielli.. (1996) (Correct)
0.6: A Declarative Approach for First-Order Built-in's of Prolog - Apt (1992) (Correct)
Related documents from co-citation: More All
7: Embeddings Among Concurrent Programming Languages (context) - Shapiro - 1992
5: Concurrent Constraint Programming (context) - Saraswat - 1990
5: The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989
BibTeX entry: (Update)
F.S. de Boer and C. Palamidessi. Embedding as a tool for language comparison. Information and Computation 108(1):128--157, 1994. 45 http://citeseer.ist.psu.edu/article/deboer94embedding.html More
@article{ deboer94embedding,
author = "Frank S. de Boer and Catuscia Palamidessi",
title = "Embedding as a Tool for Language Comparison",
journal = "Information and Computation",
volume = "108",
number = "1",
pages = "128-157",
year = "1994",
url = "citeseer.ist.psu.edu/article/deboer94embedding.html" }
Citations (may not include all citations):344 Concurrent constraint programming (context) - Saraswat, Rinard - 1990
247 The family of concurrent logic programming languages (context) - Shapiro - 1989
151 Logic semantics for a class of committed-choice programs (context) - Maher - 1987
131 The essence of Algol (context) - Reynolds - 1981
121 Guarded Horn Clauses - Ueda - 1987
57 Impossibility and universality results for wait-free synchro.. (context) - Herlihy - 1988
51 the expressive power of programming languages - Felleisen - 1990
43 the consistency of Koomen's fair abstraction rule (context) - Baeten, Bergstra et al. - 1987
22 Process algebra: specification and verification in bisimulat.. (context) - Bergstra, Klop - 1986
21 Comparative schematology (context) - Paterson, Hewitt - 1970
20 Lambda: The ultimate imperative (context) - Steele, Jr - 1976
15 the existence of symmetric algorithms to find leaders in net.. (context) - Boug'e
12 Embeddings among concurrent programming languages (context) - Shapiro - 1992
12 Expressiveness results for process algebras - Vaandrager - 1992
12 Unfolding and fixpoint semantics for concurrent constraint l.. (context) - Gabbrielli, Levi - 1990
9 The next 700 programming languages (context) - Landin - 1966
9 Fully abstract denotational semantics for Concurrent Prolog (context) - Gerth, Codish et al. - 1988
8 Separating concurrent languages with categories of language .. (context) - Shapiro - 1991
7 Reactive behaviour semantics for concurrent constraint logic.. (context) - Gaifman, Maher et al. - 1989
7 and the power of indeterminacy (context) - Panangaden, Stark - 1988
6 the relations computed by a class of concurrent automata (context) - Stark - 1990
3 The power of programming features (context) - Chandra, Manna - 1975
2 The expressive power of parallelism - Parrow - 1989
2 GEDANKEN - a symple typeless language based on the principle.. (context) - Reynolds - 1970
1 the existence of generic broadcast algorithms in networks of.. (context) - Boug'e - 1987
1 Higher-level synchronising devices in MEIJE-SCCS (context) - Springer-Verlag, -- - 1985
1 Petri Nets Newsletters (context) - Boug'e
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.disi.unige.it/person/PalamidessiC/publications.html): More
An Algebraic Perspective of Constraint Logic Programming - de Boer, Di Pierro.. (1995) (Correct)
Nondeterminism and Infinite Computations in Constraint.. - de Boer, Di Pierro.. (1995) (Correct)
Comparing the Expressive Power of the Synchronous and the.. - Palamidessi (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