Algebraic Specification of Concurrency

Modular Algebraic Nets to Specify Concurrent Systems

IEEE Transactions on Software Engineering

Formal specification techniques (extended abstract)

ICSE '94 Proceedings of the 16th international conference on Software engineering

Rewriting logic: roadmap and bibliography

Theoretical Computer Science - Rewriting logic and its applications

Specification of an Access Control System with a Formalism Combining CCS and CASL

IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium

Can Intuition Become Rigorous? Foundations for UML Model Verification Tools

ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering

Towards An Integration Of Message Sequence Charts And Timed Maude

Journal of Integrated Design & Process Science

Swinging UML: how to make class diagrams and state machines amenable to constraint solving and proving

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard