-
3
-
Proving Performance Properties (even Probabilistic Ones)
-
23
-
Semantic-Oriented Description Techniques for Network Management Information Modeling
-
37
-
A Service Request Description Language
-
55
-
Modelling and Verification of a Multiprocessor Realtime OS Kernel
-
71
-
Design of operating systems using the F.D.T. ESTELLE
-
87
-
The Formalization and Analysis of CCR Protocol and Service
-
100
-
On the Formal Specification and Verification of Network Routing Algorithms
-
119
-
Validation of Supplementary Services in the Context of Interoperability
-
135
-
FDT based development of an interworking unit between LANs and X.25 networks
-
151
-
Using formal specification and simulation: Practical experience with distributed applications
-
165
-
Representation of Process-Gate Nets in LOTOS and Verification of LOTOS Laws: the Boolean Algebra Approach
-
181
-
Reachable state space analysis of LOTOS specifications
-
197
-
An Improvement in Formal Verification
-
215
-
A Modal Based Verification for LOTOS (abstract)
-
218
-
Tableau methods to decide Strong Bisimilarity on LOTOS processes involving pure interleaving and enabling
-
221
-
Simulator for Lotos to study the Independence and Causality of Events
-
227
-
Verifying ET-LOTOS programs with KRONOS
-
243
-
Automatic Verification of Real-Time Communicating Systems by Constraint-Solving
-
259
-
Verifying Timing Properties of Concurrent Algorithms
-
277
-
Formal Specification and Analysis of an ISO Communications Protocol
-
280
-
Verification Model Reduction through Abstractions
-
283
-
Visual Animation of <Emphasis Type="SmallCaps">Lotos</Emphasis> using <Emphasis Type="SmallCaps">Solve</Emphasis>
-
289
-
How Good is Your Specification Method?
-
293
-
Relating Maximality-based Semantics to Action Refinement in Process Algebras
-
309
-
An Abstract Interpreter for the specification language LOTOS
-
324
-
An Attempt to Embed a Restricted Version of SDL as a Target Language in Focus
-
340
-
Delayed choice: an operator for joining Message Sequence Charts
-
355
-
Four Issues Concerning the Semantics of Message Flow Graphs
-
373
-
Towards a Formal Computational Model for Distributed Multimedia Applications
-
376
-
Specification, Detection and Resolution of IN Feature Interactions with Estelle
-
379
-
Application of Protocol Synthesis Technique to Resolution of the Service Interaction Problem
-
385
-
Proving the Value of Formal Methods
-
399
-
A Structural Analysis Approach to the Evaluation of Fault Coverage for Protocol Conformance Testing
-
415
-
Test sequence generation using Estelle or SDL structure information
-
431
-
Derivation of efficient implementations from formal descriptions — issues, methods and conformance
-
449
-
Stochastic Process Algebras: Integrating Qualitative and Quantitative Modelling
-
452
-
A new Approach to Performance Evaluation of Formally Specified Protocols
-
455
-
Integrated Analysis of Concurrent Distributed Systems using Markovian Process Algebra
-
461
-
Modelling Techniques for Evolving Distributed Applications
-
477
-
A Synthesis Algorithm of a Protocol Model from a Single Entity
-
493
-
A New Distributed Algorithm for Implementation of LOTOS Multi-Rendezvous
-
505
-
Stepwise Transformations for Fault-Tolerant Design of CCS Processes