Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(1)
Linear Logic
Subscribe
Academic
Publications
Specifying and Verifying IP with Linear Logic
Edit
Specifying and Verifying IP with Linear Logic
(
Citations: 1
)
BibTex
|
RIS
|
RefWorks
Download
David Sinclair
,
James F. Power
,
J. Paul Gibson
,
David Gray
,
Geoff Hamilton
Conference:
International Conference on Distributed Computing Systems - ICDCS(Workshop)
, pp. E104-E110, 2000
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.informatik.uni-trier.de
)
Citation Context
(1)
...We have previously presented a specication of IP in [
8
] using commutative linear logic; in this paper we extend this specication considerably to include TCP, which, in turn, necessitates the use of non-commutative operators...
David Gray
,
et al.
A Specication of TCP/IP using Mixed Intuitionistic Linear Logic (Exten...
Order by:
Citations
(1)
A Specication of TCP/IP using Mixed Intuitionistic Linear Logic (Extended Abstract)
David Gray
,
Geo Hamilton
,
James Powery
,
David Sinclair