Raymond McDowell, Dale Miller Computer and Information Science Department...  Home/Search
Context Related
Links: ACM DBLP | upenn.edu/pub/papers/mill...tcs97.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: upenn.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Linear logic has been used to specify the operational semantics of various process calculi. In this paper we explore how meta-level judgments, such as simulation and bisimulation, can be established using such encodings. In general, linear logic is too weak to derive such judgments and we focus on extensions of linear and intuitionistic logics using definitions. We explore these extensions in the context of transition systems. 1 Introduction While the notions of definition and theory are... (Update)
Cited by: More
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
Automated Protocol Verification in Linear Logic - Bozzano, Delzanno (2002) (Correct)
A Logical Framework For Reasoning About Logical Specifications - Tiu (2004) (Correct)
Similar documents (at the sentence level):
51.1%: Encoding Transition Systems in Sequent Calculus - McDowell, Miller, Palamidessi (2000) (Correct)
Active bibliography (related documents): More All
0.4: Cut-Elimination for a Logic with Definitions and Induction - Raymond McDowell, Dale.. (1997) (Correct)
0.3: Encoding Generic Judgments - Dale Miller Computer (2001) (Correct)
0.3: Proof Theoretic Approach To Specification Languages - Chirimar (1995) (Correct)
Similar documents based on text: More All
0.1: Confluence in Concurrent Constraint Programming - Falaschi, Gabbrielli.. (1996) (Correct)
0.1: Embedding as a tool for Language Comparison - de Boer, Palamidessi (1994) (Correct)
0.1: A Communication System for Efficient Parallel Processing on.. - Ciaccio (1999) (Correct)
Related documents from co-citation: More All
9: Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
8: calculus as a theory in linear logic: Preliminary results (context) - Miller - 1992
8: Proof Theoretic Approach to Specification Languages - Chirimar - 1995
BibTeX entry: (Update)
Raymond McDowell, Dale Miller, and Catuscia Palamidessi. Encoding transition systems in sequent calculus. Draft manuscript submitted to Theoretical Computer Science. Preliminary version appeared as [15], April 1997. http://citeseer.ist.psu.edu/article/mcdowell97encoding.html More
@article{ mcdowell98encoding,
author = "R. McDowell and D. Miller and C. Palamidessi",
title = "Encoding transition systems in sequent calculus",
journal = "Theoretical Computer Science",
volume = "197",
number = "1--2",
pages = "246--??",
year = "1998",
url = "citeseer.ist.psu.edu/article/mcdowell97encoding.html" }
Citations (may not include all citations):447 Prentice-Hall International (context) - Milner, Concurrency - 1989
419 A formulation of the simple theory of types (context) - Church - 1940 DBLP
215 Theoretical Computer Science (context) - Girard - 1987 ACM
180 Logic programming and negation: a survey - Apt, Bol - 1994 DBLP
174 A unification algorithm for typed -calculus (context) - Huet - 1975
146 Investigations into logical deductions (context) - Gentzen - 1969
144 Contributions to the theory of logic programming (context) - Apt, van Emden - 1982 ACM DBLP
48 A logic for reasoning with higher-order abstract syntax (context) - McDowell, Miller - 1997 ACM DBLP
39 A proof-theoretic approach to logic programming (context) - Hallnas, Schroeder-Heister - 1991
38 Proof Theoretic Approach to Specification Languages - Chirimar - 1995 ACM
35 Normal process representatives (context) - Gehlot, Gunter - 1990 DBLP
22 Rules of definitional reflection (context) - Schroeder-Heister - 1993 DBLP
18 Extended natural semantics (context) - Hannan - 1993 DBLP
16 Forum: A multiple-conclusion specification language (context) - Miller - 1996
16 Partial inductive definitions (context) - Hallnas - 1991
15 Cut elimination for a logic with definitions and induction - McDowell, Miller - 1997
6 A natural deduction treatment of operational semantics (context) - Burstall, Honsell - 1988 ACM DBLP
5 A linear logic framework (context) - Cervesato, Pfenning - 1996
4 A fixpoint theorem in linear logic (context) - Girard - 1992
3 GCLA: a definitional approach to logic programming (context) - Aronsson, Eriksson et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cis.upenn.edu.html): More
User-Controlled Physics-Based Animation for Articulated.. - Kokkevis, Metaxas, Badler (1996) (Correct)
Semistructured Data - Buneman (1997) (Correct)
A Hybrid Approach to Formal Verification Applied to an ATM.. - Clarke, Lee (1996) (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