Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(5)
Boolean Algebra
Inner Product
Linear Process
Linear Logic
Tensor Product
Subscribe
Academic
Publications
Linear Process Algebra
Linear Process Algebra,10.1007/9783642190568_6,Vaughan Pratt
Edit
Linear Process Algebra
BibTex

RIS

RefWorks
Download
Vaughan Pratt
A
linear process
is a system of events and states related by an inner product, on which are defined the behaviorally motivated operations of
tensor product
or orthocurrence, sum or concurrence, sequence, and choice.
Linear process
algebra or LPA is the theory of this framework. LPA resembles Girard’s
linear logic
with the differences attributable to its focus on behavior instead of proof. As with MLL the multiplicative part can be construed via the CurryHoward isomorphism as an enrichment of Boolean algebra. The additives cater for independent concurrency or parallel play. The traditional sequential operations of sequence and choice exploit processspecific state information catering for notions of transition and cancellation.
Conference:
Distributed Computing and Internet Technology  ICDCIT
, pp. 92111, 2011
DOI:
10.1007/9783642190568_6
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.springerlink.com
)
(
www.springerlink.com
)
(
www.informatik.unitrier.de
)
(
dx.doi.org
)
More »
References
(71)
Towards a General Theory of Action and Time
(
Citations: 1394
)
James F. Allen
Journal:
Artificial Intelligence  AI
, vol. 23, no. 2, pp. 123154, 1984
Process Algebra
(
Citations: 318
)
Jos C. M. Baeten
,
W. P. Weijland
Published in 1990.
Autonomous Categories and Linear Logic
(
Citations: 104
)
Michael Barr
Journal:
Mathematical Structures in Computer Science  MSCS
, vol. 1, no. 2, pp. 159178, 1991
Process Algebra for Synchronous Communication
(
Citations: 532
)
Jan A. Bergstra
,
Jan Willem Klop
Journal:
Information and Computation/information and Control  IANDC
, vol. 60, no. 13, pp. 109137, 1984
Handbook of Process Algebra
(
Citations: 229
)
J. A. Bergstra
,
A. Ponse
,
S. A. Smolka
Journal:
Computer Physics Communications
, 2001