Communicating sequential processes
Communicating sequential processes
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
The Z notation: a reference manual
The Z notation: a reference manual
Formal modelling of telematic services using LOTOS
Microprocessing and Microprogramming
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Case studies in systematic software development
Case studies in systematic software development
Formal specification of telephone systems in LOTOS: The constraint-oriented style approach
Computer Networks and ISDN Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Feature Interactions in Telecommunications III
Feature Interactions in Telecommunications III
Feature Interactions in Telecommunications Networks IV
Feature Interactions in Telecommunications Networks IV
Feature Interactions in Telecommunications Systems
Feature Interactions in Telecommunications Systems
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Incremental Specification of Telecommunication Services
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Feature interactions: a mixed semantic model approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Playing with Abstraction and Refinement for Managing Features Interactions
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
| Hi-index | 0.00 |