A systematic study of models of abstract data types
Theoretical Computer Science
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Handbook of theoretical computer science (vol. B)
Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Specification of abstract dynamic-data types: a temporal logic approach
Theoretical Computer Science - Special issue: algebraic development techniques
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
From algebra transformation to labelled transition systems
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Concurrency and Data Types: A Specification Method: An Example with LOTOS
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Symbolic Bisimulation for Full LOTOS
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Verification of Temporal Properties of Processes in a Setting with Data
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
An Overview of LP, The Larch Power
RTA '89 Proceedings of the 3rd International Conference on Rewriting Techniques and Applications
PVS: Combining Specification, Proof Checking, and Model Checking
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Verification Tools for Finite-State Concurrent Systems
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Towards a symbolic modal logic for LOTOS
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Mixed Formal Specifications with PVS
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Hi-index | 0.00 |