Debugging Larch Shared Language Specifications
IEEE Transactions on Software Engineering
Using Larch to Specify Avalon/C++ Objects
IEEE Transactions on Software Engineering
Combining matching algorithms: The regular case
Journal of Symbolic Computation
Simulating the Behavior of Software Modules by Trace Rewriting
IEEE Transactions on Software Engineering
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Computational Complexity of Simultaneous Elementary Matching Problems
Journal of Automated Reasoning
Single Elementary Associative-Commutative Matching
Journal of Automated Reasoning
Formal Specification and Proof Techniques for Mixed Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
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
From Informal Requirements to COOP: A Concurrent Automata Approach
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A rigorous environment for development of concurrent systems
Nordic Journal of Computing
Associative-commutative rewriting on large terms
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Mechanizing inductive reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Checking the consistency of UML class diagrams using larch prover
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Hi-index | 0.00 |