Valid formulas, games and network protocols

Details Valid formulas, games and network protocols Valid formulas, games and network protocols

2007-08-10

arxiv.org/abs/0708.1480v2

Computer Science

Logic in Computer Science

12 pages

Scientific paper

We describe a remarkable relation between the notion of valid formula of
predicate logic and the specification of network protocols. We give several
examples such as the acknowledgement of one packet or of a sequence of packets.
We show how to specify the composition of protocols.

Affiliated with

Also associated with

No associations

Rating

Valid formulas, games and network protocols does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Valid formulas, games and network protocols, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Valid formulas, games and network protocols will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-47182