Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

LICS
2002
IEEE

favoriteEmaildiscussreport

89views Automated Reasoning» more LICS 2002»

Linearity in Process Languages

13 years 9 months ago

Linearity in Process Languages

Download www.daimi.au.dk

The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of afﬁne-linear logic. This connection yields an afﬁne-linear language for processes, automatically respecting open-map bisimulation, in which a range of process operations can be expressed. An operational semantics is provided for the tensor fragment of the language. Different ways to make assemblies of processes lead to different choices of exponential, some of which respect bisimulation.

Mikkel Nygaard, Glynn Winskel

Real-time Traffic

Automated Reasoning | LICS 2002 | Mathematical Consequences | Open-map Bisimulation | Presumed Ability |

claim paper

Related Content

» Learning Linear Ordering Problems for Better Translation

» On Dual Decomposition and Linear Programming Relaxations for Natural Language Processing

» Translation of TreeProcessing Programs into StreamProcessing Programs Based on Ordered Lin...

» From ObjectProcess Diagrams to a Natural ObjectProcess Language

» NaturalLanguage Spatial Relations Between Linear and Areal Objects The Topology and Metric...

» Fast Full Parsing by LinearChain Conditional Random Fields

» Relating StateBased and ProcessBased Concurrency through Linear Logic

» Linear Types for Packet Processing

» Large margin estimation of ngram language models for speech recognition via linear program...

Post Info
More Details (n/a)

Added	15 Jul 2010
Updated	15 Jul 2010
Type	Conference
Year	2002
Where	LICS
Authors	Mikkel Nygaard, Glynn Winskel

Comments (0)