Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Petri nets: an introduction
Communicating sequential processes
Communicating sequential processes
Systematic software development using VDM
Systematic software development using VDM
Modeling concurrency with partial orders
International Journal of Parallel Programming
Extensional equivalence for transition systems
Acta Informatica
CCITT SDL: overview of the language and its application
Computer Networks and ISDN Systems - CCITT SDL
Evaluation and intergration of specification languages
Computer Networks and ISDN Systems - CCITT SDL
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Format and protocol language (FAPL)
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Trace Specifications: Methodology and Models
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
The CCITT-specification and description language SDL
Computer Networks and ISDN Systems
Process simulation and refinement
Formal Aspects of Computing
Specifications of a simplified transport protocol using different formal description techniques
Computer Networks and ISDN Systems
A Relational Notation for State Transition Systems
IEEE Transactions on Software Engineering
Programming from specifications
Programming from specifications
An axiomatic semantics of concurrent programming languages
Logics and models of concurrent systems
Specification case studies
Specification of the UNIX filing system
Specification case studies
A discipline for constructing multiphase communication protocols
ACM Transactions on Computer Systems (TOCS)
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
An approach for evaluating formal description techniques
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
A formal comparison of formal protocol specification techniques
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
An Architectural Semantics for LOTOS
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Formalisation of behavioural and structural concepts for communication systems
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Specifying communication services with temporal logic
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Object-Z: An Object-Oriented Extension to Z
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
The Formal Definition of the Architectural Concept "Interaction Point"
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Specifying Avalon Objects in Larch
TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
Specification and Verification of Networks Protocols Using
Proceedings of the 6th Colloquium on International Symposium on Programming
Testing Equivalences for Event Structures
Proceedings on Mathematical Models for the Semantics of Parallelism
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
CCS - and its Relationship to Net Theory
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
Towards a Semantics for Object-Z
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
An exercise in constructing multi-phase communication protocols
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
Specifying Modules to Satisfy Interfaces: a State Transition System
Specifying Modules to Satisfy Interfaces: a State Transition System
Case study: Protocol converter validation through deductive inference: a case study
Computer Communications
The distinctive design characteristic of a wireless sensor network: the energy map
Computer Communications
| Hi-index | 0.00 |
A vast variety of design principles and formal description techniques (FDTs) have been advocated to help contend with the ever-increasing complexity of communication system development. However, the relationship between these principles and FDTs is unclear. The author formalizes a number of concepts relevant to the design principles and FDTs used to develop communication protocols. The concepts are divided into behavioral and structural concepts. Four behavioral models and a number of associated properties are defined as a basis for comparing and integrating FDTs. Two structural models, which extend the behavioral models, are then presented, and several structural concepts are defined in terms of these models. The models and properties defined within this framework are used to briefly characterize a number of FDTs. The representative FDTs considered here are Petri nets, LOTOS, a relational notation, the Z notation, and Object-Z.