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
(4)
Transmission Control Protocol
Transport Protocol
Internet Protocol
User Datagram Protocol
Subscribe
Academic
Publications
Four Logics and a Protocol
Edit
Four Logics and a Protocol
BibTex
|
RIS
|
RefWorks
Download
David Gray
,
Geoff Hamilton
,
David Sinclair
,
J. Paul Gibson
,
James F. Power
The
Internet Protocol
(IP) is the protocol used to provide connectionless communication between hosts connected tothe Internet. It provides a basic internetworking service to transport protocols such as Transmission Control Protocol(TCP) and
User Datagram Protocol
(UDP). These in turn provide both connection-oriented and connectionlessservices to applications such as file transfer (FTP) and WWW browsing. In this paper we present four separatespecifications of the interface to the...
Conference:
Irish Workshop in Formal Methods - IWFM
, 1999
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
)
References
(3)
The temporal logic of actions" acm transactions on programming languages and systems
(
Citations: 117
)
L. Lamport
Published in 1994.
The Z Notation: A reference manual
(
Citations: 681
)
J. Michael Spivey
Published in 1992.
On the Unity of Logic
(
Citations: 109
)
Jean-yves Girard
Journal:
Annals of Pure and Applied Logic - APAL
, vol. 59, no. 3, pp. 201-217, 1993