Catuscia Palamidessi March 25, 2002  Home/Search
Context
Related
| psu.edu/~catuscia/profes...interests.ps Cached: PS.gz PS 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.
PDF Image Update HelpPS.gz PS From: psu.edu/~catuscia/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine of Berry and Boudol, and the Join calculus of L'evy and his colleagues. Unfortunately, at that time we didn't continue the project because we could not figure out an appropriate "logical meaning" of these extended clauses (which was our original goal). Later on, after Linear Logic became popular, Andreoli and Pareshi have proposed an analogous language (Linear Objects) and have shown that it can be seen as a fragment of Linear Logic. (Update)
Similar documents (at the sentence level):
5.9%: The Probabilistic Asynchronous π-Calculus - Herescu (2002) (Correct)
Active bibliography (related documents): More All
1.3: From Concurrent Logic Programming to Concurrent Constraint .. - de Boer, Palamidessi (1993) (Correct)
0.7: Embedding as a tool for Language Comparison: On the CSP hierarchy - de Boer, al. (1991) (Correct)
0.6: Nondeterminism and Infinite Computations in Constraint - Programming Frank De (1995) (Correct)
Similar documents based on text: More All
0.2: Confluence in Concurrent Constraint Programming - Falaschi, Gabbrielli.. (1996) (Correct)
0.2: Embedding as a tool for Language Comparison - de Boer, Palamidessi (1994) (Correct)
0.2: A Paradigm for Asynchronous Communication and its.. - de Boer, Kok.. (1993) (Correct)
BibTeX entry: (Update)
@misc{ march-research,
author = "Catuscia Palamidessi March",
title = "Research Overview and Plans",
url = "citeseer.ist.psu.edu/648502.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1999
312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
247 The family of concurrent logic programming languages (context) - Shapiro - 1989
216 Semantic foundation of concurrent constraint programming - Saraswat, Rinard et al. - 1991
178 Communicating and mobile systems: the -calculus (context) - Milner - 1999
174 Probabilistic simulations for probabilistic processes - Segala, Lynch - 1995
90 Modeling and Verification of Randomized Distributed RealTime.. (context) - Segala - 1995
89 Kernel LEAF: a logic plus functional language (context) - Giovannetti, Levi et al. - 1991
68 A model-theoretic reconstruction of the operational semantic.. (context) - Falaschi, Levi et al. - 1993
60 Decoding choice encodings - Nestmann, Pierce - 1996
57 the advantages of free choice: A symmetric and fully distrib.. (context) - Rabin, Lehmann - 1994
54 Testing equivalence for mobile processes (context) - Boreale, De Nicola - 1995
45 Asynchrony and the -calculus (context) - Boudol - 1992
40 Algebraic properties of idempotent substitutions - Palamidessi - 1990
39 Proving Concurrent Constraint Programs Correct - de Boer, Gabbrielli et al. - 1998
32 Full abstraction for a shared variable parallel language - Brookes - 1993
30 Compositional Analysis for Concurrent Constraint Programming - Falaschi, Gabbrielli et al. - 1993
29 Complementation in Abstract Interpretation (context) - Cortesi, Fil'e et al. - 1997
28 generative and stratified models of probabilistic processes (context) - van Glabbeek, Smolka et al. - 1995
27 Modelling and Analysis of Security Protocols - Ryan, Schneider - 2001
26 Declarative modeling of the operational behaviour of logic l.. (context) - Falaschi, Levi et al. - 1989
20 A synchronization logic: Axiomatics and formal semantics of .. (context) - Falaschi, Levi et al. - 1984
19 good' encoding of guarded choice (context) - Nestmann - 1997
14 A Fully Abstract Model for Concurrent Constraint Programming (context) - de Boer, Palamidessi - 1991
13 A distributed abstract datatype implemented by a probabilist.. (context) - Francez, Rodeh - 1980
13 Asynchronous communication (context) - de Boer, Klop et al. - 1992
13 Weak Relative PseudoComplements of Closure Operators - Giacobazzi, Palamidessi et al. - 1996
12 Embedding as a Tool for Language Comparison - de Boer, Palamidessi - 1994
12 Embeddings among concurrent programming languages (context) - Shapiro - 1992
10 Probabilistic asynchronous -calculus - Herescu, Palamidessi - 2000
8 Separating concurrent languages with categories of language .. (context) - Shapiro - 1991
7 Partial Order and SOS Semantics for Linear Constraint Progra.. - Best, de Boer et al. - 1997
5 The essence of Parallel Algol - Brookes - 1997
4 The failure of failures: Towards a paradigm for asynchronous.. (context) - de Boer, Kok et al. - 1991
4 Concurrent logic languages: Asynchronism and language compar.. (context) - de Boer, Palamidessi - 1990
4 Semantic models for Concurrent Logic Languages (context) - de Boer, Kok et al. - 1991
4 the Generalized Dining Philosophers Problem (context) - Herescu, Palamidessi - 2001
3 Embedding as a tool for language comparison: On the CSP hier.. - de Boer, Palamidessi - 1991
3 A paradigm for asynchronous communication and its applicatio.. - de Boer, Kok et al. - 1993
2 Proving Correctness of Constraint Logic Programs with Dynami.. (context) - de Boer, Gabbrielli et al. - 1996
2 Volume 936 of Lecture Notes in Computer Science (context) - Falaschi, Gabbrielli et al. - 1995
2 Information and Computation (context) - Di Pierro, Martelli et al. - 1995
1 of REX workshop on Semantics - Foundations and Applications (context) - de Boer, Kok et al. - 1992
1 the JFPLC-UNIF (context) - Constraint, Concurrent et al. - 1997
1 of the Synchronous and the Asynchronous -calculus. Proc. of .. (context) - Comparing, power - 1997
1 the Semantics of Logic Programming with Dynamic Scheduling (context) - Falaschi, Gabbrielli et al. - 1997
1 Infinite computations in nondeterministic constraint program.. (context) - de Boer, Di Pierro et al. - 1995
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