Computer Systems: Reliable full-duplex file transmission over half-duplex telephone line
Communications of the ACM
Proving liveness for networks of communicating finite state machines
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modeling a transport layer protocol using first-order logic
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Tier automation representation of communication protocols
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
A graphical tool for the design and prototyping of distributed systems
ACM SIGSOFT Software Engineering Notes
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Data communications at the national physical laboratory (1965-1975)
IEEE Annals of the History of Computing
New communication protocols from old
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
End-to-end communication in unreliable networks
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
IEEE Transactions on Computers
The intractability of bounded protocols for non-FIFO channels
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Tight bounds for the sequence transmission problem
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Block acknowledgement: redesigning the window protocol
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Deriving a protocol converter: a top-down method
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Adding liveness properties to coupled finite-state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
A quantitative approach to dynamic networks
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Tight bounds for weakly bounded protocols
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets
IEEE Transactions on Software Engineering
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Real-time sequence transmission problem
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Resource bounds for self stabilizing message driven protocols
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Bootstrap network resynchronization (extended abstract)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Data flow analysis of communicating finite state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compositional reachability analysis using process algebra
TAV4 Proceedings of the symposium on Testing, analysis, and verification
The intractability of bounded protocols for on-line sequence transmission over non-FIFO channels
Journal of the ACM (JACM)
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
The impossibility of implementing reliable communication in the face of crashes
Journal of the ACM (JACM)
Duplication, insertion and lossiness errors in unreliable communication channels
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Reliable communication over unreliable channels
Journal of the ACM (JACM)
Recoverable sequence transmission protocols
Journal of the ACM (JACM)
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Verification of communication protocols using data flow analysis
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Crash Resilient Communication in Dynamic Networks
IEEE Transactions on Computers
Possibilities of using protocol converters for NIR system construction
ACM SIGCOMM Computer Communication Review
Communication protocol design to facilitate re-use based on the object-oriented paradigm
Mobile Networks and Applications - Special issue: protocols for mobile environments
A Positive Acknowledgment Protocol for Causal Broadcasting
IEEE Transactions on Computers
The complexity of end-to-end communication in memoryless networks
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
A practical method for verifying event-driven software
Proceedings of the 21st international conference on Software engineering
Symbolic Verification of Communication Protocols with Infinite StateSpaces using QDDs
Formal Methods in System Design
Symbolic Protocol Verification with Queue BDDs
Formal Methods in System Design
Modalities for model checking (extended abstract): branching time strikes back
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Expressing interesting properties of programs in propositional temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
IEEE Transactions on Software Engineering
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Incremental Integration Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Using SPIN to verify protocols at the implementation level
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
A Simple, Object-Based View of Multiprogramming
Formal Methods in System Design
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Automated Software Engineering
Codesign of Communication Protocols
Computer
A Relational Algebraic Approach to Protocol Verification
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols
IEEE Transactions on Software Engineering
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
Tolerating transient and intermittent failures
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems
IEEE Transactions on Knowledge and Data Engineering
Protocol Construction Using Genetic Search Techniques
Real-World Applications of Evolutionary Computing, EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoROB, and EvoFlight
A Framework for Automatic Construction of Abstract Promela Models
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Short Headers Suffice for Communication in a DAG with Link Failures
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Incremental Verification by Abstraction
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Proof-Checking Protocols Using Bisimulations
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Liveness and Fairness in Process-Algebraic Verification
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Lazy Compositional Verification
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Agreement Problems in Fault-Tolerant Distributed Systems
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Derivation of Petri Net Performance Models from UML Specifications of Communications Software
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Verifying Behavioural Specifications in CafeOBJ Environment
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Modeling and verification of parallel processes
Engineering of distributed control systems
Analysis of reliable multicast algorithms for local networks
SIGCOMM '83 Proceedings of the eighth symposium on Data communications
Hardware implementation of communication protocols: A formal approach
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
A method of automatic proof for the specification and verification of protocols
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
A model for the local area of a data communication network objectives and hardware organization
Proceedings of the first ACM symposium on Problems in the optimization of data communications systems
An improved full-duplex retransmission technique
ACM '73 Proceedings of the ACM annual conference
Communication protocols and error recovery procedures
Proceedings of the 1975 ACM SIGCOMM/SIGOPS workshop on Interprocess communications
Flow control in a resource-sharing computer network
Proceedings of the ACM second symposium on Problems in the optimizations of data communications systems
Ensuring consistency in the joint beliefs of interacting agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Object-oriented modelling of communication protocols for re-use
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Development of communication protocols using algebraic and temporal specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hundreds of impossibility results for distributed computing
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Symbolic semantic rules for producing compact STGLAs from value passing process descriptions
ACM Transactions on Computational Logic (TOCL)
Basic elements of a network data link control procedure (NDLC)
ACM SIGCOMM Computer Communication Review
A critical study of different flow control methods in computer networks
ACM SIGCOMM Computer Communication Review
Self-stabilization over unreliable communication media
Distributed Computing - Special issue: Self-stabilization
Collecting Statistics Over Runtime Executions
Formal Methods in System Design
More efficient on-the-fly LTL verification with Tarjan's algorithm
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2004)
Verification of programs with half-duplex communication
Information and Computation
Specification, testing and implementation relations for symbolic-probabilistic systems
Theoretical Computer Science
Fast verification of the class of stop-and-wait protocols modelled by coloured Petri nets
Nordic Journal of Computing
Header-size lower bounds for end-to-end communication in memoryless networks
Computer Networks: The International Journal of Computer and Telecommunications Networking - Web dynamics
An Approach to Protocol Modeling and Validation
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Slicing of Timed Automata with Discrete Data
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
A Theory for Protocol Validation
IEEE Transactions on Computers - Lecture notes in computer science Vol. 174
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
Rule-based static analysis of network protocol implementations
Information and Computation
SAT-Based Reachability Checking for Timed Automata with Discrete Data
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
An Algebraic Approach to Refinement with Fair Choice
Electronic Notes in Theoretical Computer Science (ENTCS)
Single-bit messages are insufficient for data link over duplicating channels
Information Processing Letters
25 Years of Model Checking
New Challenges in Model Checking
25 Years of Model Checking
SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR
25 Years of Model Checking
Implementation of supervisory control using extended finite-state machines
International Journal of Systems Science
Extensions of packet communication technology to a hand held personal terminal
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Improvements in the design and performance of the ARPA network
AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
With Finite Memory Consensus Is Easier Than Reliable Broadcast
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
A multiprocessor description language
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
On reliable transmission of data over simple wireless channels
Journal of Computer Systems, Networks, and Communications
Formal verification to enhance evolution of protocols
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Process Algebra: An Algebraic Theory of Concurrency
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Teaching Concurrency: Theory in Practice
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Verification of programs with half-duplex communication
Information and Computation
Verification and improvement of the sliding window protocol
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Some notes on the history of protocol engineering
Computer Networks: The International Journal of Computer and Telecommunications Networking
Verification of timed-arc Petri nets
SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science
Hypergraphs of multiparty secrets
Annals of Mathematics and Artificial Intelligence
Single-Bit messages are insufficient in the presence of duplication
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
Testing of symbolic-probabilistic systems
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Using fairness constraints in process-algebraic verification
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
SAT-Based Reachability Checking for Timed Automata with Discrete Data
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Slicing of Timed Automata with Discrete Data
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Incremental formal verification for model refining
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
| Hi-index | 48.23 |
A simple procedure for achieving reliable full-duplex transmission over half-duplex links is proposed. The scheme is compared with another of the same type, which has recently been described in the literature. Finally, some comments are made on another group of related transmission procedures which have been shown to be unreliable under some circumstances.