See this document in CiteSeerX!

A Process Algebraic View of Linear Logic  (Make Corrections)  
Padmanabhan Krishnan Jane Hopkins Department of Computer Science University...



  Home/Search   Context   Related

 
View or download:
cosc.canterbury.ac.nz/~...llfinal.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cosc.canterbury.ac.nz/~pa...index (more)
(Enter author homepages)

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

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