Padmanabhan Krishnan Jane Hopkins Department of Computer Science University...  Home/Search
Context
Related
| cosc.canterbury.ac.nz/~...llfinal.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: cosc.canterbury.ac.nz/~pa...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In this paper we present a process algebra where the combinators are borrowed from linear logic. The principal idea is to present a direct operational semantics for O. The approach considers two sets of actions (input and output) and a merge operation which describes the synchronisation of processes. We then present a few results satisfied by the bisimulation relation induced by the labelled transition system. 1 Introduction Linear Logic [4] has been described as a resource conscious logic... (Update)
Active bibliography (related documents): More All
0.0: Based-on dependency Calculi for Non-commutative Logic - Galmiche, Notin (Correct)
0.0: Calculi with dependency relations for Mixed Linear Logic.. - Galmiche, Notin (Correct)
0.0: Quantales as completions of ordered monoids: Revised.. - Larchey-Wendling.. (Correct)
Similar documents based on text: More All
0.2: A DiGraph Model for Extended Event Structures - Padmanabhan Krishnan David (Correct)
0.2: Specifying Asynchronous Transfer of Control - Krishnan, Mosses (1991) (Correct)
0.2: Akaroa 2.5 User's Manual - Ewing, Pawlikowski, McNickle (1998) (Correct)
BibTeX entry: (Update)
@misc{ jane-process,
author = "Padmanabhan Krishnan Jane",
title = "A Process Algebraic View of Linear Logic",
url = "citeseer.ist.psu.edu/368153.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
906 A Structural Approach to Operational Semantics - Plotkin - 1981
447 Prentice Hall International (context) - Milner, Concurrency - 1989
43 Asynchronous communication model based on linear logic - Kobayashi, Yonezawa - 1995 ACM DBLP
36 Applications of linear logic to computation: An overview - Alexiev - 1994
31 Theoretical Computer Science (context) - Bellin, Scott et al. - 1994 ACM
26 Completeness Results for Linear Logic on Petri Nets - Engberg, Winskel - 1993 ACM DBLP
Documents on the same site (http://www.cosc.canterbury.ac.nz/~paddy/pubs/index.html): More
Decomposition of Timed Automata - Padmanabhan (Correct)
Protocol Specification and Verification of Security.. - Krishnan, Renaud (Correct)
A Semantic Characterisation for Faults in Replicated Systems - Krishnan (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